Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

Type de document :
Communication dans un congrès
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France. 2007
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01112533
Contributeur : David Delfieu <>
Soumis le : mardi 3 février 2015 - 10:50:45
Dernière modification le : mercredi 16 mai 2018 - 11:48:03

Identifiants

  • HAL Id : hal-01112533, version 1

Citation

Louis-Marie Traonouez, David Delfieu, Olivier Henri Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés. 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France. 2007. 〈hal-01112533〉

Partager

Métriques

Consultations de la notice

753