Skip to Main content Skip to Navigation
Conference papers

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

Didier Fass 1, 2 D. Méry 2, 3
2 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : no abstract
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01507847
Contributor : Valorisation Service <>
Submitted on : Thursday, April 13, 2017 - 3:56:02 PM
Last modification on : Wednesday, April 15, 2020 - 1:49:12 AM

Identifiers

  • HAL Id : hal-01507847, version 1

Collections

Citation

Didier Fass, D. Méry. Integrated human systems design : bridging the gap between formal and experimental approaches. NASA AMES Research Center, Human Systems Integration Division,, 2015, MOFETT FIELD - Etats-Unis d'Amérique, Unknown Region. ⟨hal-01507847⟩

Share

Metrics

Record views

152