A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems

TitleA Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems
Publication TypeJournal Article
Year of Publication2012
AuthorsHahn, EM, Hartmanns, A, Hermanns, H, Katoen, J-P
JournalFormal Methods in System Design
PDF (Full text): 
Work Package: 
WP1