SysML
From MaRDI portal
Software:21148
No author found.
Related Items (14)
Rigorous development of component-based systems using component metadata and patterns ⋮ Using formal methods with SysML in aerospace design and engineering ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ An architectural approach to the analysis, verification and validation of software intensive embedded systems ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Model based control system design using SysML, Simulink, and Computer Algebra System ⋮ Real-time emulation of boost inverter using the systems modeling language and Petri nets ⋮ Unnamed Item ⋮ The fixed-point theory of strictly causal functions ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ A COTS-based approach for estimating performance and energy consumption of embedded real-time systems ⋮ Synergistic verification and validation of systems and software engineering models ⋮ Intensional Couplings in Variable-Structure Models
This page was built for software: SysML
