A compositional modelling and verification framework for stochastic hybrid systems (Q2403530)
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: A compositional modelling and verification framework for stochastic hybrid systems |
scientific article; zbMATH DE number 6773445
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A compositional modelling and verification framework for stochastic hybrid systems |
scientific article; zbMATH DE number 6773445 |
Statements
A compositional modelling and verification framework for stochastic hybrid systems (English)
0 references
8 September 2017
0 references
stochastic hybrid systems
0 references
stochastic hybrid CSP
0 references
deductive verification
0 references
invariants
0 references
0 references
0 references
0 references
0 references
0 references
0.9079423546791076
0 references
0.8591920137405396
0 references
0.8006173968315125
0 references
0.7952138781547546
0 references
0.7878628373146057
0 references
