Integrated human systems design: bridging the gap between formal and experimental approaches

Didier Fass () and Dominique Méry
Additional contact information
Didier Fass: ICN Business School, MOSEL - Proof-oriented development of computer-based systems - LORIA - FM - Department of Formal Methods - LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - Inria - Institut National de Recherche en Informatique et en Automatique - UL - Université de Lorraine - CNRS - Centre National de la Recherche Scientifique
Dominique Méry: MOSEL - Proof-oriented development of computer-based systems - LORIA - FM - Department of Formal Methods - LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - Inria - Institut National de Recherche en Informatique et en Automatique - UL - Université de Lorraine - CNRS - Centre National de la Recherche Scientifique, VERIDIS - Modeling and Verification of Distributed Algorithms and Systems - MPII - Max-Planck-Institut für Informatik - Max-Planck-Gesellschaft - Centre Inria de l'Université de Lorraine - Inria - Institut National de Recherche en Informatique et en Automatique - LORIA - FM - Department of Formal Methods - LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - Inria - Institut National de Recherche en Informatique et en Automatique - UL - Université de Lorraine - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Keywords: Integrated human systems design; experimental approaches (search for similar items in EconPapers)
Date: 2015
References: Add references at CitEc
Citations:

Published in NASA AMES Research Center, Human Systems Integration Division,, 2015, MOFETT FIELD - Etats-Unis d'Amérique, Unknown Region

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-01507847

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().