SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs

Type de document :
Communication dans un congrès
11e Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01882579
Contributeur : Romain Pichard <>
Soumis le : jeudi 27 septembre 2018 - 10:55:14
Dernière modification le : samedi 27 octobre 2018 - 01:28:53

Fichier

MSR_2017_paper_27.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01882579, version 1

Citation

Romain Pichard, Michel Combacau, Alexandre Philippot, Ramla Saddem, Bernard Riera. SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs. 11e Colloque sur la Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. 〈hal-01882579〉

Partager

Métriques

Consultations de la notice

24

Téléchargements de fichiers

10