A compositional modelling and analysis framework for stochastic hybrid systems
| Title | A compositional modelling and analysis framework for stochastic hybrid systems |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Hahn, EM, Hartmanns, A, Hermanns, H, Katoen, J-P |
| Journal | Formal Methods in System Design |
| Volume | 43 |
| Pagination | 191-232 |
Work Package:
WP1
