Interactive Systems. Design, Specification, and Verification

gan Graham, T. C. Nicholas, Palanque, Philippe
Cyhoeddwyd 2020

Task Models and Diagrams for User Interface Design

gan Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Cyhoeddwyd 2020

The Handbook of Formal Methods in Human-Computer Interaction

gan Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Cyhoeddwyd 2020

Human-Computer Interaction - INTERACT 2007

gan Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Cyhoeddwyd 2020

Human-Computer Interaction - INTERACT 2007

gan Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Cyhoeddwyd 2020