Interactive Systems. Design, Specification, and Verification

per Graham, T. C. Nicholas, Palanque, Philippe
Publicat 2020

Task Models and Diagrams for User Interface Design

per Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Publicat 2020

The Handbook of Formal Methods in Human-Computer Interaction

per Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Publicat 2020

Human-Computer Interaction - INTERACT 2007

per Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Publicat 2020

Human-Computer Interaction - INTERACT 2007

per Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Publicat 2020