HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Dominique 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
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01507847
Contributor : Valorisation Service Connect in order to contact the contributor
Submitted on : Thursday, April 13, 2017 - 3:56:02 PM
Last modification on : Saturday, October 16, 2021 - 11:26:09 AM

Identifiers

  • HAL Id : hal-01507847, version 1

Collections

Citation

Didier Fass, Dominique 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

93