News

Paper accepted at SMC 2011

Created by scombefi, at September 12, 2011

Sébastien Combéfis and Charles Pecheur had a full paper accepted at SMC 2011.

SMC 2011 has this year a special track on "Applications of Formal Methods to Human-Automation Interaction" where the paper "A Formal Framework for Design and Analysis of Human-Machine Interaction" will be presented.

That paper is the result of a collaboration with the Robust Software Engineering and Human Factors groups from the NASA Ames Research Center.


Tags Tags: ,