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