Author of the publication

Topics of Formal Methods in HCI.

, , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches., , , , and . Ergo'IHM, page 81. ACM, (2012)Beyond modelling: an integrated environment supporting co-execution of tasks and systems models., , , , and . EICS, page 165-174. ACM, (2010)Model-based training: an approach supporting operability of critical interactive systems., , , , and . EICS, page 53-62. ACM, (2011)Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs., , , , and . IHM, page 141-150. ACM, (2009)StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications., and . DSV-IS, volume 2844 of Lecture Notes in Computer Science, page 61-76. Springer, (2003)Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study., , , , , and . SAFECOMP, volume 8153 of Lecture Notes in Computer Science, page 216-227. Springer, (2013)Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach., , , , and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 32-46. Springer, (2012)Engaging Automation at Work - A Literature Review., , and . HWID, volume 544 of IFIP Advances in Information and Communication Technology, page 158-172. Springer, (2018)Topics of Formal Methods in HCI., , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment., , , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)