A model-based approach for real-time embedded multimodal systems in military aircrafts, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, 2004. ,
DOI : 10.1145/1027933.1027974
Tool Support for Interactive Prototyping of Safety Critical Interactive Applications ISBN: 1-59140-562-9. Hard Cover. Publisher: Idea Group Reference Pub Date, p.650, 2005. ,
Palanque A Petri Net Based Environment for the Design of Event-Driven Interfaces, 16th International Conference on Application and theory of Petri Nets (ATPN'95), pp.20-22 ,
XML active transformation (eXAcT), Proceedings of the 2005 ACM symposium on Document engineering , DocEng '05, pp.146-148, 2005. ,
DOI : 10.1145/1096601.1096640
INDIGO, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, pp.139-146, 2005. ,
DOI : 10.1145/1148550.1148568
URL : https://hal.archives-ouvertes.fr/hal-01285967
Advanced Graphical User Interface for Next Generation Flight Management Systems, proceedings of HCI Aero, pp.107-112, 2000. ,
Predicate/Transition Nets High-Level Petri Nets: Theory and Application, pp.3-43, 1991. ,
Design principles for interactive software, 1995. ,
DOI : 10.1007/978-0-387-34912-1
Advanced Flight Management System: A New Design and Evaluation Results, proceedings of HCI Aero, pp.101-106, 2000. ,
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, pp.309-328, 2003. ,
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. HCI-Aero, 2004. ,
Petri nets with objects for specification, design and validation of user-driven interfaces, proceedings of the third IFIP TC 13 conference on Human-Computer Interaction, Interact'90, 1990. ,
Hrsg.): User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems, p.11, 1983. ,
When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User- Interface, proceedings of HCI Aero, pp.180-186, 2002. ,
A Review of XML-compliant User Interface Description Languages, Proc. of 10th Int. Conf. on Design, pp.377-391, 2003. ,
DOI : 10.1007/978-3-540-39929-2_26
An incremental XSLT transformation processor for XML document manipulation WWW '02, Proceedings of the 11th international Conference on World Wide Web, pp.474-485, 2002. ,