la librairie des documents scientifiques
Sébastien Combéfis
Sébastien Combéfis graduated from the Louvain School of Engineering (EPL) at theUniversité catholique de Louvain (UCL) with a Master of Computer Science Engineeringin June 2007. He is currently working as a part-time research assistant for ICTEAM atUCL.
Partager
Titres avec la participation de Sébastien Combéfis
A Formal Framework for the Analysis of Human-Machine Interactions
Première édition
Sébastien Combéfis
There are more and more automated systems with which people are led to interact everyday. Their complexity increases, and badly designed systems may result in automation surprises. The contribution of this thesis is a formal analysis framework to...