System Integration & Validation with Formal Methods in ATC Applications
Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada
2000-01-01
8 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Integration of Formal Methods into System Safety and Reliability Analysis
British Library Conference Proceedings | 1999
|Formal methods in automotive applications
Automotive engineering | 1990
|Formal validation method for computerized interlocking system
Online Contents | 2012
|