Poulsen, Danny Bøgsted, Aalborg University
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.