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