Modélisation formelle de contraintes de vol
Christine Choppy (LIPN), Camille Coti (LIPN), Romain Kervarc (Onera)
[possibilité de thèse]
Assistance à l'écriture de descriptions de comportement
Christine Choppy (LIPN), Romain Kervarc (Onera)
Abstraction et raffinement des reseaux de Petri de haut niveau, colores ou/et temporises
Christine Choppy (LIPN), Camille Coti (LIPN)
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