Heterogeneous verification of cyber-physical systems using behavior relations (Q2986750)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Heterogeneous verification of cyber-physical systems using behavior relations |
scientific article |
Statements
Heterogeneous verification of cyber-physical systems using behavior relations (English)
0 references
16 May 2017
0 references
behavior relations
0 references
cyber-physical systems
0 references
heterogeneous verification
0 references
multi-model verification
0 references
semantic consistency
0 references
