Safety Verification for Probabilistic Hybrid Systems
EUROPEAN JOURNAL OF CONTROL ; 18 , 6 ; 572-590
2012-01-01
19 pages
Article (Journal)
English
DDC: | 629.895 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Probabilistic structural analysis verification studies
NTRS | 1987
|Gait Verification Using Probabilistic Methods
IEEE | 2005
|SAFETY VERIFICATION SYSTEM AND SAFETY VERIFICATION METHOD
European Patent Office | 2024
|Probabilistic Safety Analysis in Complex Pipeline Systems
Springer Verlag | 2023
|Safety verification of automated driving systems
Online Contents | 2013
|