Formal Verification and Legacy Redesign
National aerospace and electronics conference ; 1998 ; Dayton; OH
1998-01-01
6 pages
IEEE cat no 98CH36185 and 98CB36185
Conference paper
English
aerospace , electronics , NAECON , IEEE
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|Formal verification and legacy redesign
Tema Archive | 1998
|Formal verification and legacy redesign
IEEE | 1999
|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
|