Publications HAL du labo/EPI Hycomes
titre
Learning procedural skills with a virtual reality simulator An acceptability study
auteur
Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre Jannin
article
Nurse Education Today, Elsevier, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩
Accès au bibtex
BibTex
titre
Building a Hybrid Systems Modeler on Synchronous Languages Principles
auteur
Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
article
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨https://ieeexplore.ieee.org/document/8466987/⟩. ⟨10.1109/JPROC.2018.2858016⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01879026/file/hybridsyncieee.pdf BibTex
titre
Vector Barrier Certificates and Comparison Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
article
FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
Accès au bibtex
BibTex