B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages / Matias Vara Larsen ; sous la direction de Frédéric Mallet et Julien DeAntoni. Thèse de doctorat : Informatique : Nice : 2016
Information trouvée : Président du jury
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués / Jonathan Lasalle; sous la direction de Fabrice Bouquet, 2013 (thèse)
Justification Factory / Clément Duffau ; sous la direction de Mireille Blay-Fornarino. Thèse de doctorat : Informatique : Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
Modeling and verification of functional and non functional requirements of ambient, self adaptative systems / Manzoor Ahmad ; sous la direction de Jean-Michel Bruel et de Nicolas Belloir, 2013. Thèse de doctorat : Informatique : Toulouse 2 : 2013
Information trouvée : directeur de thèse
Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes dans les systèmes logiciels / Ivan Logre ; sous la direction de Michel Riveill. Thèse de doctorat : Informatique : Côte d'Azur : 2017
Information trouvée : rapporteur de thèse, membre du jury
rapporteur de thèse, membre du jury
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial
data.idref.fr
Documentation
