Activities per year
Activities
- 7 results
Search results
-
Formal verification of railway interlocking systems
Gilles Perrouin (Supervisor)
18 Dec 2019Activity: Examinations › External Thesis
-
Engineering Multimodal Interactions in Critical Environments : Application to the Next Generation of Aircraft Cockpits
Bruno Dumas (Jury Member)
18 Oct 2017Activity: Examinations › External Thesis
-
Ahmed Tayeh: "A Dynamically Extensible Cross-Document Link Service"
Bruno Dumas (Jury Member)
21 Oct 2016Activity: Examinations › External Thesis
-
Fredy Cuenca Lucero: "Towards a composite event-based language for describing multimodal interactions"
Bruno Dumas (Jury Member)
10 Feb 2016Activity: Examinations › External Thesis
-
Jury de la thèse de S. Frémal
Jean-Noël Colin (Jury Member)
7 Jul 2015Activity: Examinations › External Thesis
-
Jury de thèse de D. Shirnin
Jean-Noël Colin (Jury Member)
18 Nov 2014Activity: Examinations › External Thesis
-
Contributions to Software Engineering and to the Development and Deployment of International Software Engineering Standards for Very Small Entities
Naji Habra (Reviewer)
28 Oct 2009Activity: Examinations › External Thesis