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
|Formal methods in software engineering
Tema Archive | 1990
|Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
SAE Technical Papers | 2008
|