A two-level formal verification methodology using HOL and COSMOS
1991
13 S.
graph. Darst.
Book
English
Formal Verification at System Level
British Library Conference Proceedings | 2009
|The FoReVer Methodology: A MBSE Framework for Formal Verification
British Library Conference Proceedings | 2013
|Engineering Index Backfile | 1963
|NTRS | 1993
|Online Contents | 1996
|