Publications

Affichage de 4811 à 4820 sur 5533


  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables

Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo

2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩

  • Communication dans un congrès

How to Learn from the Resilience of Human-Machine Systems?

Kiswendsida Abel Ouedraogo, Simon Enjalbert, Frédéric Vanderhaegen

In this paper, we aim to analyse the resilience of Human-Machine Systems (HMS) in order to improve it from learning process. A State of Art is achieved and resilience engineering of HMS is defined. Then, human-machines’ learning processes supposed to improve systems’ resilience and indicators…

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.374-379, ⟨10.3182/20100831-4-FR-2021.00066⟩. ⟨hal-03644372⟩