Modeling and verification of software safety requirement based on ontology
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 38 , 11 ; 1445-1449
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 de-icing software safety requirement based on expanded Petri net
British Library Online Contents | 2012
|Application of software requirement error pattern based on ontology
British Library Online Contents | 2009
|Automation of satellite requirement verification
IEEE | 2006
|Ontology-based CNS software development
IEEE | 2010
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|