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

Type de document :
Article dans une revue
MSR'07, 2017, pp.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 : mardi 22 août 2017 - 15:08:25

Identifiants

  • HAL Id : hal-01112533, version 1

Collections

Citation

David Delfieu, Olivier Henri Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés. MSR'07, 2017, pp.2007. 〈hal-01112533〉

Partager

Métriques

Consultations de la notice

569