Formal Verification at System Level
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
2009-01-01
46 pages
Held in e-store (RMS); Held on CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A two-level formal verification methodology using HOL and COSMOS
TIBKAT | 1991
|Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|Formal verification and legacy redesign
Tema Archive | 1998
|Formal Verification and Legacy Redesign
British Library Conference Proceedings | 1998
|