( en | de | ru )

 

Disambiguation of "Navarre, David"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based training: an approach supporting operability of critical interactive systems.

, , , , and . EICS, page 53-62. ACM, (2011)

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.

Wahyudi David

Florian Bodo David

Jens-Ulrich Davids

Joachim David

Heinz David

 

Other publications of authors with the same name

A fault-tolerant architecture for resilient interactive systems., , , , , , and . IHM, page 80-90. ACM, (2014)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)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)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 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)