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

Filter your results

2 results
publicationDateY_i : 2015
Image document

Dynamic Causality in Event Structures

Youssef Arbach , David Karcher , Kirstin Peters , Uwe Nestmann
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.83-97, ⟨10.1007/978-3-319-19195-9_6⟩
Conference papers hal-01767322v1
Image document

Interaction and Humans in Internet of Things

Markku Turunen , Daniel Sonntag , Klaus-Peter Engelbrecht , Thomas Olsson , Dirk Schnelle-Walka , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.633-636, ⟨10.1007/978-3-319-22723-8_80⟩
Conference papers hal-01610768v1