Formal modelling, analysis and verification of hybrid systems (Q2948232)
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: Formal modelling, analysis and verification of hybrid systems |
scientific article; zbMATH DE number 6487423
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal modelling, analysis and verification of hybrid systems |
scientific article; zbMATH DE number 6487423 |
Statements
Formal Modelling, Analysis and Verification of Hybrid Systems (English)
0 references
30 September 2015
0 references
hybrid systems
0 references
hybrid CSP
0 references
hybrid Hoare logic
0 references
polynomial invariants
0 references
theorem proving
0 references
0 references
0.8091465830802917
0 references
0.8032218217849731
0 references
0.7892112135887146
0 references
