User menu

A formal framework for design and analysis of Human-Machine interaction

Bibliographic reference Combéfis, Sébastien ; Giannakopoulou, Dimitra ; Pecheur, Charles ; Feary, Michael. A formal framework for design and analysis of Human-Machine interaction.International Conference on Systems, Man, and Cybernetics (Anchorage, Alaska, du 09/10/2011 au 12/10/2011). In: IEEE International Conference on Systems, Man, and Cybernetics. Conference Proceedings, Vol. Oct 2011, p. 1801-1808
Permanent URL http://hdl.handle.net/2078.1/91191