( en | de | ru )

 

Disambiguation of "Navarre, David"

Author of the publication

copydeleteadd this publication to your clipboard
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.

, , , , and . EICS, page 165-174. ACM, (2010)

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.

Florian Bodo David

Joachim David

Wahyudi David

Jens-Ulrich Davids

Heinz David

 

Other publications of authors with the same name

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces., , and . ICMI, page 185-192. ACM, (2009)The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?, and . EICS, page 155-156. ACM, (2009)Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language., , , , and . Sci. Comput. Program., (2014)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets., , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 503-519. Springer, (2019)PANDA: prototyping using annotation and decision analysis., , and . EICS, page 171-176. ACM, (2016)High-Fidelity Prototyping of Interactive Systems Can Be Formal Too., , , and . HCI (1), volume 5610 of Lecture Notes in Computer Science, page 667-676. Springer, (2009)A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics., , , , , and . PRDC, page 21-30. IEEE Computer Society, (2014)A fault-tolerant architecture for resilient interactive systems., , , , , , and . IHM, page 80-90. ACM, (2014)A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications., , , , , , and . INTERACT, volume 3585 of Lecture Notes in Computer Science, page 170-183. Springer, (2005)A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems., , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 373-386. Springer, (2008)