The presentation will focus on the application of formal methods to safety-critical systems in aviation and space. Although the talk will mostly focus on work conducted at the NASA Langley Research Center, there will be a brief summary of work conducted at NASA?s Jet Propulsion Laboratory and Ames Research Center.
Formal Methods Applied to Safety-Critical Systems
NITRD Software Design and Productivity Meeting ; 2012 ; Arlington, VA, US
Sonstige
Keine Angabe
Englisch
Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|Formal Methods and their Applications to Safety-Critical Systems of Railways
British Library Online Contents | 1995
|Formal Methods and their Applications to Safety-Critical Systems of Railways
Online Contents | 1995
|Formal Safety Assessment: A Critical Review
Online Contents | 2009
|Formal development of software in railways safety critical systems
British Library Conference Proceedings | 1994
|