Pen computing for air traffic control
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Patterns for Safer Human-Computer Interfaces
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
CHI '07 Extended Abstracts on Human Factors in Computing Systems
Hi-index | 0.01 |