Approximate Model Checking of Stochastic Hybrid Systems
EUROPEAN JOURNAL OF CONTROL ; 16 , 6 ; 624-641
01.01.2010
18 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 629.895 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 1995
|Software model checking for avionics systems
IEEE | 2008
|Model Checking of Robotic Control Systems
British Library Conference Proceedings | 2005
|Applying software model checking to PALS systems
IEEE | 2014
|