Reconciling Safety and Usability Concerns through Formal Specification-based Development Process
International conference on human-computer interaction in aeronautics ; 2002 ; Cambridge, MA
2002-01-01
7 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal specification for behavior-based mobile robots
SPIE | 1994
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal specification of the TCAS protocol
AIAA | 1993
|From Formal Specification to Verified Implementation
IEEE | 2024
|