Interactive Systems. Design, Specification, and Verification

by Graham, T. C. Nicholas, Palanque, Philippe
Published 2020

Task Models and Diagrams for User Interface Design

by Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Published 2020

The Handbook of Formal Methods in Human-Computer Interaction

by Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Published 2020

Human-Computer Interaction - INTERACT 2007

by Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Published 2020

Human-Computer Interaction - INTERACT 2007

by Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Published 2020