* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
A Formal Framework for the Analysis of Human-Machine Interactions is written by Sébastien Combéfis and published by Presses universitaires de Louvain. It's available with International Standard Book Number or ISBN identification 2875582526 (ISBN 10) and 9782875582522 (ISBN 13).
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 assess whether a system is prone to potential automation surprises in an interaction.