Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Poster

Static analysis of incremental propagation graphs with process algebra

Type de document :
Poster
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02715065
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 26 octobre 2021 - 13:10:12
Dernière modification le : mercredi 2 février 2022 - 09:18:03
Archivage à long terme le : : jeudi 27 janvier 2022 - 19:18:50

Fichier

MODELS_2018__poster____Static_...
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

28

Téléchargements de fichiers

14