A Formal Framework for Design and Analysis of Human-Machine Interaction

TitleA Formal Framework for Design and Analysis of Human-Machine Interaction
Publication TypeConference Paper
Year of Publication2011
AuthorsCombéfis, S, Giannakopoulou D, Pecheur C, Feary M
Conference Name2011 IEEE International Conference on Systems, Man, and Cybernetics
PublisherIEEE
URLhttp://lvl.info.ucl.ac.be/Publications/AFormalFrameworkForDesignAndAnalysisOfHuman-MachineInteraction