Analyse comportementale pour les simulations distribuées
Christine Choppy (LIPN), Patrice Carle (Onera), Romain Kervarc (Onera)
[possibilité de thèse a l'Onera]
Evaluation de performance et vulnérabilité des systèmes spatiaux
Christine Choppy (LIPN), Romain Kervarc (Onera)
[possibilité de thèse a l'Onera]
Vérification formelle de diagrammes UML
Christine Choppy, Kais Klai
pdf
Raffinement de réseaux de Petri de haut niveau
Christine Choppy, Micaela Mayero, Laure Petrucci
pdf
Une méthode d'analyse et spécification pour les
système complexes
avec des réseaux de Petri de haut niveau et des
spécifications algébriques
Christine Choppy, Laure Petrucci
pdf