Philippe Palanque (eds.)

The Handbook of Formal Methods in Human-Computer Interaction

2017 · ENGLISH · PDF

View details →

The Handbook of Formal Methods in Human-Computer Interaction

2017 · ENGLISH · PDF

View details →

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2008 · ENGLISH · PDF

View details →

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France

2004 · ENGLISH · PDF

View details →

Critical Issues in User Interface Systems Engineering

1996 · ENGLISH · PDF

View details →

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2008 · ENGLISH · PDF

View details →

Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2007 · ENGLISH · PDF

View details →