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

Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01882579
Contributor : Romain Pichard <>
Submitted on : Thursday, September 27, 2018 - 10:55:14 AM
Last modification on : Friday, June 14, 2019 - 6:31:09 PM
Long-term archiving on : Friday, December 28, 2018 - 2:03:45 PM

File

MSR_2017_paper_27.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

58

Files downloads

26