Case Studies

Benjamin Weyers (1) , Michael Harrison , Judy Bowen (2) , Alan Dix (3, 4) , Philippe Palanque (5)

1 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
2 University of Waikato [Hamilton]
3 School of Computer Science [Birmingham]
4 Talis UK
5 IRIT-ICS - Interactive Critical Systems

Domaines: Informatique [cs]

Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque. Case Studies. Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.89--121, 2017, 978-3319518374. ⟨hal-03131883⟩