User menu

State Event Models for the Formal Analysis of Human-Machine Interactions

Bibliographic reference Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles. State Event Models for the Formal Analysis of Human-Machine Interactions.AAAI 2014 Symposium "Modeling in Human Machine Systems: Challenges for Formal Verification" (Palo Alto, 2014, du 24/03/2014 au 26/03/2014).
Permanent URL http://hdl.handle.net/2078.1/140256