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
01.01.2012
5 pages
Aufsatz (Zeitschrift)
Unbekannt
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
AIAA | 2002
|Smart Icing Systems for Aircraft Icing Safety
SAE Technical Papers | 2003
|