Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Grenoble Images Parole Signal Automatique
labStructName_s : Laboratoire de Recherche et de Développement de l'EPITA
Image document

Towards Brain Computer Interfaces for Recreational Activities: Piloting a Drone

Nataliya Kos'Myna , Franck Tarpin-Bernard , Bertrand Rivet , Nataliya Kosmyna
INTERACT 2015 - 15th Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.506-522, ⟨10.1007/978-3-319-22701-6_37⟩
Conference papers hal-01492578v1
Image document

Extending Testing Automata to All LTL

Ala Salem
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.196-210, ⟨10.1007/978-3-319-19195-9_13⟩
Conference papers hal-01767338v1