Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) (Q5302400)
From MaRDI portal
scientific article; zbMATH DE number 5486066
Language | Label | Description | Also known as |
---|---|---|---|
English | Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) |
scientific article; zbMATH DE number 5486066 |
Statements
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) (English)
0 references
7 January 2009
0 references
hybrid systems
0 references
OpenModelica system
0 references