Interactive Systems. Design, Specification, and Verification

af Graham, T. C. Nicholas, Palanque, Philippe
Udgivet 2020

Task Models and Diagrams for User Interface Design

af Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Udgivet 2020

The Handbook of Formal Methods in Human-Computer Interaction

af Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Udgivet 2020

Human-Computer Interaction - INTERACT 2007

af Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Udgivet 2020

Human-Computer Interaction - INTERACT 2007

af Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Udgivet 2020