Activités par an
Activités
- 7 résultats
Résultats de recherche
-
Formal verification of railway interlocking systems
Perrouin, G. (Promoteur)
18 déc. 2019Activité: Examens › Thèse externe
-
Engineering Multimodal Interactions in Critical Environments : Application to the Next Generation of Aircraft Cockpits
Dumas, B. (Membre du Jury)
18 oct. 2017Activité: Examens › Thèse externe
-
Ahmed Tayeh: "A Dynamically Extensible Cross-Document Link Service"
Dumas, B. (Membre du Jury)
21 oct. 2016Activité: Examens › Thèse externe
-
Fredy Cuenca Lucero: "Towards a composite event-based language for describing multimodal interactions"
Dumas, B. (Membre du Jury)
10 févr. 2016Activité: Examens › Thèse externe
-
Jury de la thèse de S. Frémal
Colin, J.-N. (Membre du Jury)
7 juil. 2015Activité: Examens › Thèse externe
-
Jury de thèse de D. Shirnin
Colin, J.-N. (Membre du Jury)
18 nov. 2014Activité: Examens › Thèse externe
-
Contributions to Software Engineering and to the Development and Deployment of International Software Engineering Standards for Very Small Entities
Habra, N. (Rapporteur)
28 oct. 2009Activité: Examens › Thèse externe