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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : General Electric Medical Systems [Buc]
labStructName_s : Laboratoire de Recherche et de Développement de l'EPITA
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
Image document

Glass+Skin: An Empirical Evaluation of the Added Value of Finger Identification to Basic Single-Touch Interaction on Touch Screens

Quentin Roy , Yves Guiard , Gilles Bailly , Éric Lecolinet , Olivier Rioul , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.55-71, ⟨10.1007/978-3-319-22723-8_5⟩
Conference papers hal-01202852v1