Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065)
From MaRDI portal
scientific article
| 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 |
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
