DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système - Archive ouverte HAL Access content directly
Conference Papers Year :

DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système

Fichier principal
Vignette du fichier
afadl2021_paper_3.pdf (124.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03838594 , version 1 (02-06-2023)

Identifiers

  • HAL Id : hal-03838594 , version 1

Cite

Laurent Zimmer, Pierre-Alain Yvars. DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système. 20ème journées AFADL, Approche Formelle dans l’Assistance au Développement de Logiciel, Jun 2021, Montpellier, France. ⟨hal-03838594⟩
19 View
1 Download

Share

Gmail Facebook Twitter LinkedIn More