Publications de
José Luis Silva, José Creissac Campos, Michael Harrison
Prototyping and analysing ubiquitous computing environments using multiple layers
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 72 N. 5, p. 488-506, mai 2014.
Accès : http://dx.doi.org/10.1016/j.ijhcs.2014.02.001
BibTeX
Giorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems
Dans : European Dependable Computing Conference (EDCC 2008), Kaunaas, Lithuania, 07/05/08-09/05/08, IEEE Computer Society, p. 0-0, mai 2008.
Michael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)