Items where Laboratory is "ENAC - Equipe Laboratoire d'Informatique Interactive - LII (Toulouse, France)"
Group by: Item Type | No Grouping Number of items: 5. ArticleBourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Thirioux, Xavier. From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications. (2021) ACM Transactions on Cyber-Physical Systems, 5 (3). 1-20. ISSN 2378-962X Aizier, Bruno and Lizy-Destrez, Stéphanie and Schneider, Charlotte and Chapurlat, Vincent and Prun, Daniel and Wippler, Jean-Luc. xFFBD: towards a formal yet functional modeling language for system designers. (2012) Incose International Symposium, 22 (1). 170-183. Conference or Workshop ItemJahanpour, Emilie and Berberian, Bruno and Imbert, Jean-Paul and Roy, Raphaëlle N.. Cognitive fatigue assessment in operational settings: a review and UAS implications. (2020) In: 3rd IFAC Conference on Cyber-Physical & Human-Systems - CPHS 2020, 3 December 2020 - 5 December 2020 (Shanghai, China). Invited ConferenceCausse, Mickaël and Ponzoni Carvalho Chanel, Caroline and Chaudemar, Jean-Charles and Durand, Stéphane and Patin, Bruno and Devaux, Nicolas and Gueneau, Jean-Louis and Mélan, Claudine and Imbert, Jean-Paul. The 1st International Conference on Cognitive Aircraft Systems – ICCAS 2020. (2020) In: The 1st International Conference on Cognitive Aircraft Systems – ICCAS 2020, 18 March 2020 - 19 March 2020 (Virtual event, France). (Unpublished) ThesisRizk, Carl. Contribution to the evaluation and optimization of passengers' screening at airports. PhD, Mathématiques Appliquées, Institut National Polytechnique de Toulouse, 2019 |