Modélisation et vérification d'un système mécatronique par SyncCharts

Type de document :
Communication dans un congrès
Hermès Sciences Publications. Congrès Francophone Modélisation des Systèmes Réactifs MSR'03, Oct 2003, Metz, France. pp.77-93, 2003
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00973432
Contributeur : Jean-Pierre Damiano <>
Soumis le : vendredi 4 avril 2014 - 11:16:19
Dernière modification le : vendredi 4 avril 2014 - 11:16:19

Identifiants

  • HAL Id : hal-00973432, version 1

Collections

Citation

D. Gaffé. Modélisation et vérification d'un système mécatronique par SyncCharts. Hermès Sciences Publications. Congrès Francophone Modélisation des Systèmes Réactifs MSR'03, Oct 2003, Metz, France. pp.77-93, 2003. <hal-00973432>

Partager

Métriques

Consultations de la notice

50