Modeling and verification of de-icing software safety requirement based on expanded Petri net
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 38 , 1 ; 64-68
2012-01-01
5 pages
Article (Journal)
Unknown
| DDC: | 629.4 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Modeling and verification of software safety requirement based on ontology
| British Library Online Contents | 2012
Verification and Validation of NASA LEWICE 2.2 Icing Software Code
| Online Contents | 2006
Smart Icing Systems for Aircraft Icing Safety
| SAE | 2003
Smart icing systems for aircraft icing safety
| AIAA | 2002