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
01.01.2000
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 1997
|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 Archiv | 2000
|