Articles - Formal Verification & Legacy Redesign
1999
Article (Journal)
English
Formal verification and legacy redesign
Tema Archive | 1998
|Formal Verification and Legacy Redesign
British Library Conference Proceedings | 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
|