Sproston, Jeremy, University of Turin, Italy
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.