Integrated formal methods
Congres; 15, Informatiques des organisations et systemes d'information et de decision: Actes du XV congres INFORSID ; 1997 ; Toulouse; France
1997-01-01
28 pages
Text in French and English
Conference paper
French
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Making formal methods practical
IEEE | 2000
|Making Formal Methods Practical
British Library Conference Proceedings | 2000
|Formal methods for railway signalling
Tema Archive | 1989
|Can formal methods make automotive business sense? A classification of formal methods by usefulness
Automotive engineering | 2008
|NASA Formal Methods Workshop, 1990
NTIS | 1990
|