Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow |
scientific article; zbMATH DE number 7467466
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow |
scientific article; zbMATH DE number 7467466 |
Statements
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (English)
0 references
1 February 2022
0 references
simulink/stateflow
0 references
AADL
0 references
HCSP
0 references
formal semantics
0 references
simulation and verification
0 references
0 references
