Title :

Reconciling Safety and Usability Concerns through Formal Specification-based Development Process

Contributors:

Navarre, D. (author) / Palanque, P. (author) / Bastide, R. (author) / Chatty, S. / Hansman, J. / Boy, G.A. / Eurisco (Organization)

Conference:

International conference on human-computer interaction in aeronautics ; 2002 ; Cambridge, MA

International conference on human-computer interaction in aeronautics ; 112-118

Publication date :

2002-01-01

Size :

7 pages

Remarks:

Includes bibliographical references and index

ISBN :

1577351711

Type of media :

Conference paper

Type of material :

Print

Language :

English

Keywords :

Aeronautics , Human-machine systems , Human-computer interation , HCl Aero

© Metadata Copyright the British Library Board and other contributors. All rights reserved.