scholar.google.com › citations
Apr 25, 2017 · This chapter discusses two novel frameworks developed at NASA for the design and analysis of human–machine interaction problems. The first ...
This chapter discusses two novel frameworks developed at NASA for the design and analysis of human–machine interaction problems and captures the complexity ...
This chapter discusses two novel frameworks developed at NASA for the design and analysis of human–machine interaction problems. The first framework supports ...
Formal Analysis of Multiple Coordinated HMI Systems ... Authors: Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi ...
Bibliographic details on Formal Analysis of Multiple Coordinated HMI Systems.
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, ...
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research.
Sep 19, 2010 · Many decisions regarding solar data processing and analysis start with selecting the proper image coordinate system and projection.
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the ...
Oct 26, 2024 · This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) ...