Artykuły udostępnione publicznie: - David NavarreWięcej informacji
Niedostępne w żadnym miejscu: 3
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
I Mendil, NK Singh, Y Ait-Ameur, D Méry, P Palanque
2020 27th Asia-Pacific Software Engineering Conference (APSEC), 139-148, 2020
Upoważnienia: Agence Nationale de la Recherche
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
NK Singh, Y Aït‐Ameur, I Mendil, D Méry, D Navarre, P Palanque, ...
Journal of Software: Evolution and Process 35 (7), e2439, 2023
Upoważnienia: Agence Nationale de la Recherche
Model-based Engineering of Feedforward Usability Function for GUI Widgets
D Navarre, P Palanque, S Coppers, K Luyten, D Vanacken
Interacting with Computers 33 (1), 73-91, 2021
Upoważnienia: Research Foundation (Flanders)
Dostępne w jakimś miejscu: 2
Fortunettes: Feedforward about the Future State of GUI Widgets
S Coppers, K Luyten, D Vanacken, D Navarre, P Palanque, C Gris
Proceedings of the ACM on Human-Computer Interaction 3 (EICS), 1-20, 2019
Upoważnienia: Research Foundation (Flanders)
Formal development of multi-purpose interactive application (MPIA) for ARINC 661
NK Singh, Y Aït-Ameur, D Méry, D Navarre, P Palanque, M Pantel
Formal Techniques for Safety-Critical Systems: 7th International Workshop …, 2020
Upoważnienia: Agence Nationale de la Recherche
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy