96A4033 Validation of the STANJAN software using the CADNA library
International conference; 1st, Control and diagnostics in automotive applications ; 1996 ; Genoa, Italy
1996-01-01
10 pages
Papers. Contains papers 96A4007 to 96A4032 only with gaps; See also s/m 5415.770 vol 32 no 5 1997 for selected papers
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Software Library Usage Pattern Extraction Using a Software Model Checker
British Library Online Contents | 2009
|Space Software Validation Using Abstract Interpretation
British Library Conference Proceedings | 2009
|British Library Conference Proceedings | 2004
|Software Validation Facilities
British Library Online Contents | 1997
|