Development Process Improvement by Means of Formal and Semi-Formal Methods
Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada
2000-01-01
6 pages
Conference paper
English
© 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
|Semi-formal design methods for functional modelling of climate control systems
British Library Conference Proceedings | 1998
|Object oriented and formal methods for AUV development
Tema Archive | 2000
|Formal methods for railway signalling
Tema Archive | 1989
|