Formal Verification and Legacy Redesign
National aerospace and electronics conference ; 1998 ; Dayton; OH
1998-01-01
6 pages
IEEE cat no 98CH36185 and 98CB36185
Aufsatz (Konferenz)
Englisch
aerospace , electronics , NAECON , IEEE
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal verification and legacy redesign
IEEE | 1999
|Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|Formal verification and legacy redesign
Tema Archiv | 1998
|JRC2012-74186 Formal Methods Verification and Validation (V&V) for Legacy Systems
British Library Conference Proceedings | 2012
|A New ReDesign for Assembly Method For Legacy Product Assembly Optimisation
SAE Technical Papers | 2015
|