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 : lundi 17 juillet 2017 - 11:24:57

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

545