( en | de | ru )

 

Disambiguation of "Palanque, Philippe A."

Author of the publication

copydeleteadd this publication to your clipboard
State of the Art on Formal Methods for Interactive Systems.

, , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Philippe A Passeraub

Philippe A Dubey

Philippe A Weber-Panariello

Philippe Zysset

Philippe Moisan

 

Other publications of authors with the same name

Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web., , , , , , and . IHC, page 148-157. Brazilian Computer Society / ACM, (2013)A Formal Specification of the CORBA Event Service., , , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 371-395. Kluwer, (2000)Using complementary models-based approaches for representing and analysing ATM systems' variability., , , , , and . ATACCS, page 146-157. IRIT Press Toulouse, France / ACM DL, (2012)Exploiting gaming research and practice for engineering interactive critical systems., , , and . ATACCS, page 41-49. IRIT Press Toulouse, France / ACM DL, (2011)Model-Based Interactive Prototyping of Highly Interactive Applications., , and . CADUI, page 205-216. Kluwer, (2002)An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces., , , and . DSV-IS, volume 5136 of Lecture Notes in Computer Science, page 208-224. Springer, (2008)Mobile Context-Aware Applications for Ubiquitous Computing., , and . J. Univers. Comput. Sci., 16 (15): 1927-1928 (2010)ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability., , , and . ACM Trans. Comput. Hum. Interact., 16 (4): 18:1-18:56 (2009)Engaging Automation at Work - A Literature Review., , and . HWID, volume 544 of IFIP Advances in Information and Communication Technology, page 158-172. Springer, (2018)Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches., , , , and . Ergo'IHM, page 81. ACM, (2012)