JRC2012-74186 Formal Methods Verification and Validation (V&V) for Legacy Systems
ASME joint rail conference; JRC2012 ; 2012 ; Philadelphia, PA
01.01.2012
4 pages
Includes bibliographical references and author index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
JRC2012-74041 SEPTA PTC Communications Systems
British Library Conference Proceedings | 2012
|JRC2012-74015 Lateral Creepage
British Library Conference Proceedings | 2012
|JRC2012-74060 National Train Bus and its Diagnostics
British Library Conference Proceedings | 2012
|JRC2012-74098 Developments in Traction Transformer
British Library Conference Proceedings | 2012
|JRC2012-74069 Axle Generator for Freight Car Electric Systems
British Library Conference Proceedings | 2012
|