Static analysis of incremental propagation graphs with process algebra - Université d'Angers Accéder directement au contenu
Poster De Conférence Année : 2018

Static analysis of incremental propagation graphs with process algebra

Théo Le Calvar
Laboratoire d'Etudes et de Recherche en Informatique d'Angers
CV
Fabien Chhel
  • Fonction : Auteur
  • PersonId : 1071911
ESEO-ÉRIS
Frédéric Jouault
  • Fonction : Auteur
ESEO-ÉRIS
Frédéric Saubion
Laboratoire d'Etudes et de Recherche en Informatique d'Angers
CV

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
MODELS_2018__poster____Static_analysis_of_incremental_propagation_graphs_with_process_algebra.pdf (58.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Okina Univ Angers  : Connectez-vous pour contacter le contributeur

https://univ-angers.hal.science/hal-02715065

Soumis le : mardi 26 octobre 2021-13:10:12

Dernière modification le : vendredi 27 janvier 2023-16:08:04

Archivage à long terme le : jeudi 27 janvier 2022-19:18:50

Télécharger pour visualiser

Dates et versions

hal-02715065 , version 1 (26-10-2021)

Identifiants

  • HAL Id : hal-02715065 , version 1
  • OKINA : ua17611

Citer

Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Static analysis of incremental propagation graphs with process algebra. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) 2018, Oct 2018, Copenhague, Denmark. 2018. ⟨hal-02715065⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ANGERS ESEO-TECH LERIA ESEO-ERIS
26 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More