Modelling erroneous operator behaviours for an air-traffic control task
AUIC '02 Proceedings of the Third Australasian conference on User interfaces - Volume 7
Formal Analysis of Human-computer Interaction using Model-checking
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Hi-index | 0.00 |