( en | de | ru )

 

Disambiguierung von "Navarre, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A fault-tolerant architecture for resilient interactive systems.

, , , , , , und . IHM, Seite 80-90. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Weitere Publikationen von Autoren mit dem selben Namen

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too., , , und . HCI (1), Volume 5610 von Lecture Notes in Computer Science, Seite 667-676. Springer, (2009)A fault-tolerant architecture for resilient interactive systems., , , , , , und . IHM, Seite 80-90. ACM, (2014)Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces., , und . ICMI, Seite 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)?, und . EICS, Seite 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., , , , und . Sci. Comput. Program., (2014)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets., , , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 503-519. Springer, (2019)PANDA: prototyping using annotation and decision analysis., , und . EICS, Seite 171-176. ACM, (2016)A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics., , , , , und . PRDC, Seite 21-30. IEEE Computer Society, (2014)A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications., , , , , , und . INTERACT, Volume 3585 von Lecture Notes in Computer Science, Seite 170-183. Springer, (2005)F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID., , , , , , und . J. Softw. Evol. Process., (Juli 2023)