Reconciling Safety and Usability Concerns through Formal Specification-based Development Process
International conference on human-computer interaction in aeronautics ; 2002 ; Cambridge, MA
01.01.2002
7 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© 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
|