SysML
From MaRDI portal
Cited in
(32)- JTorX
- rCOS
- ArchJava
- SoftExplorer
- Modelica
- Conditions of contracts for separating responsibilities in heterogeneous systems
- TorX
- Real-time emulation of boost inverter using the systems modeling language and Petri nets
- Rhapsody
- Model based control system design using SysML, Simulink, and Computer Algebra System
- The fixed-point theory of strictly causal functions
- Charmy
- UMLsec
- SOFA 2.0
- PACC starter kit
- A two-way path between formal and informal design of embedded systems
- Charon
- Rigorous development of component-based systems using component metadata and patterns
- HERBY
- MARTE
- scientific article; zbMATH DE number 5144777 (Why is no real title available?)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Modelling of Complex Software Systems: A Reasoned Overview
- Synergistic verification and validation of systems and software engineering models
- AUTOSAR
- INA
- Using formal methods with SysML in aerospace design and engineering
- HFGT
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
- Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS
- OCRA
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
This page was built for software: SysML
