DEPS Studio : Un environnement intégré de modélisation et de résolution pour la synthèse de système - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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

Laurent Zimmer
  • Fonction : Auteur
  • PersonId : 967290
Dassault Aviation
Pierre-Alain Yvars
Laboratoire QUARTZ
ISAE-Supméca Institut Supérieur de Mécanique de Paris
CV

Domaines

Sciences de l'ingénieur [physics]
Fichier principal
Vignette du fichier
afadl2021_paper_3.pdf (124.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

ISAE-Supmeca Gestionnaire HAL  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03838594

Soumis le : vendredi 2 juin 2023-16:36:58

Dernière modification le : mardi 6 juin 2023-03:54:18

Archivage à long terme le : lundi 4 septembre 2023-08:33:22

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03838594 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS8 QUARTZ SUPMECA UNIV-PARIS-LUMIERES UNIV-PARIS8-OA
41 Consultations
13 Téléchargements

Partager

Gmail Facebook X LinkedIn More