Author of the publication

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)

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.

No persons found for author name Fahssi, Racim
add a person with the name Fahssi, Racim
 

Other publications of authors with the same name

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)Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces., , , , and . DUI@ICWE, page 27-30. ACM, (2014)Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft., , , , , , and . EICS, page 85-94. ACM, (2014)Task Model-Based Systematic Analysis of Both System Failures and Human Errors., , , , , and . IEEE Trans. Hum. Mach. Syst., 46 (2): 243-254 (2016)Extending procedural task models by systematic explicit integration of objects, knowledge and information., , , and . ECCE, page 23:1-23:10. ACM, (2013)Embedding explicit representation of cyber-physical elements in task models., , and . SMC, page 1969-1974. IEEE, (2016)Identification systématique et représentation des erreurs humaines dans les modèles de tâches. (Systematic identification and representation of human errors in task models).. Paul Sabatier University, Toulouse, France, (2018)Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors., , and . INTERACT (4), volume 9299 of Lecture Notes in Computer Science, page 192-212. Springer, (2015)