2012-2418 Challenges in Independent Verification and Validation of Safety Critical Railway Signalling Systems
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
2012-01-01
4 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1891
Safety critical computers for railway signalling applications
British Library Conference Proceedings | 1994
|AIAA-2003-2418 LAAS Position Domain Monitor Analysis and Failure-Test Verification
British Library Conference Proceedings | 2003
|Telecom Satellite Fleet Hassle Free Operations (AIAA 2016-2418)
British Library Conference Proceedings | 2016
|Object code verification for safety-critical railway control systems
Tema Archive | 2007
|