The following pages link to SysML (Q21148):
Displaying 14 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (Q765470) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Real-time emulation of boost inverter using the systems modeling language and Petri nets (Q1997422) (← links)
- Model based control system design using SysML, Simulink, and Computer Algebra System (Q2249297) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- (Q3433130) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
