Formally Verifying Human-Automation Interaction with Specification Properties Generated from Task Analytic Models
Conference; 6th, International Association for the Advancement of Space Safety ; 2013 ; Montreal, Canada
2013-01-01
58 pages
Includes bibliographical references; Held in e-store (RMS)
Conference paper
English
Space safety , Safety , IAASS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formally Verifying Navigation Safety for Ground Robots
British Library Conference Proceedings | 2016
|Formally verifying the correctness of a network-based protocol for railway signalling systems
British Library Conference Proceedings | 2005
|Verifying Code Automatically Generated From an Executable Model
SAE Technical Papers | 2005
|British Library Conference Proceedings | 2012
|