Software Library Usage Pattern Extraction Using a Software Model Checker
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 31 , 4 ; 247-259
2009-01-01
13 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Qualification of a Model Checker for Avionics Software Verification
British Library Conference Proceedings | 2017
|A Verification Method of Software Safety Model Based on Model Checker
British Library Online Contents | 2011
|