Formal specification of dynamic fault tree based on sequence failure symbol
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 38 , 9 ; 1255-1260
2012-01-01
6 pages
Article (Journal)
Unknown
DDC: | 629.4 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Fault Diagnosis of Rolling Bearings Based on Chaos and Symbol Sequence Statistics
British Library Online Contents | 2005
|Formal specification for behavior-based mobile robots
SPIE | 1994
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal specification of the TCAS protocol
AIAA | 1993
|