PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software
1997-01-01
6 pages
Aufsatz (Zeitschrift)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 1997
|Lessons Learnt in Testing High-Reliability Automotive Software
SAE Technical Papers | 1998
|Lessons Learnt in Testing High-Reliability Automotive Software
British Library Conference Proceedings | 1998
|Lessons learnt in testing high-reliability automotive software
Kraftfahrwesen | 1998
|IEEE | 2014
|