A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems
| Title | A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Hahn, EM, Hartmanns, A, Hermanns, H, Katoen, J-P |
| Journal | Formal Methods in System Design |
PDF (Full text):
Work Package:
WP1
