( en | de | ru )

 

Disambiguierung von "Fayollas, Camille"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.

, , , , , , und . F-IDE@FM, Volume 240 von EPTCS, Seite 1-19. (2016)

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.

Camille Gully

Camille Welter

Camille Jenn

Camille Dutrey

Camille Bellissant

 

Weitere Publikationen von Autoren mit dem selben Namen

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits., , , , , , , und . Int. J. Hum. Comput. Stud., (2019)An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits., , , , , und . EDCC, Seite 198-209. IEEE Computer Society, (2014)Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems., , , , , , und . iThings/GreenCom/CPSCom/SmartData, Seite 694-701. IEEE, (2019)Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques., , , , , und . PRDC, Seite 164-173. IEEE Computer Society, (2011)Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach., , , , und . SERENE, Volume 7527 von Lecture Notes in Computer Science, Seite 32-46. Springer, (2012)Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment., , , , , und . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Addressing dependability for interactive systems: application to interactive cockpits.. EICS, Seite 163-166. ACM, (2013)Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems., , und . CHI Extended Abstracts, ACM, (2018)A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study., , , , , und . HCI-Aero, Seite 2:1-2:9. ACM, (2016)Task Model-Based Systematic Analysis of Both System Failures and Human Errors., , , , , und . IEEE Trans. Hum. Mach. Syst., 46 (2): 243-254 (2016)