Articles - Formal Verification & Legacy Redesign
IEEE aerospace and electronic systems magazine ; 14 , 3 ; 31-35
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
|