PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software
Conference, Data systems in aerospace ; 1997 ; Seville; Spain
01.01.1997
6 pages
Described as proceedings. Also known as DASIA 97
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
| British Library Online Contents | 1997
Lessons learnt in testing high-reliability automotive software
| Kraftfahrwesen | 1998
Lessons Learnt in Testing High-Reliability Automotive Software
| British Library Conference Proceedings | 1998
| British Library Conference Proceedings | 1994