Integrated formal methods
Congres; 15, Informatiques des organisations et systemes d'information et de decision: Actes du XV congres INFORSID ; 1997 ; Toulouse; France
01.01.1997
28 pages
Text in French and English
Aufsatz (Konferenz)
Französisch
© 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 Archiv | 1989
|Formal methods in automotive applications
Kraftfahrwesen | 1990
|