Interactive Systems. Design, Specification, and Verification

著者: Graham, T. C. Nicholas, Palanque, Philippe
出版事項 2020

Task Models and Diagrams for User Interface Design

著者: Winckler, Marco, Johnson, Hilary, Palanque, Philippe
出版事項 2020

The Handbook of Formal Methods in Human-Computer Interaction

著者: Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
出版事項 2020

Human-Computer Interaction - INTERACT 2007

著者: Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
出版事項 2020

Human-Computer Interaction - INTERACT 2007

著者: Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
出版事項 2020