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 the normal view instead:
scientific article; zbMATH DE number 7467466
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9078816175460817
0 references
0.7346310615539551
0 references
0.7277504801750183
0 references
0.7249616980552673
0 references
0.7209882140159607
0 references
