Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta. Formal Analysis of Multiple Coordinated HMI Systems. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 405-431, Springer International Publishing, 2017. [doi]
Abstract is missing.