Using process algebra to statically analyze incremental propagation graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Using process algebra to statically analyze incremental propagation graphs

Fabien Chhel
Frédéric Jouault
Fichier non déposé

Dates et versions

hal-01887900 , version 1 (04-10-2018)

Identifiants

  • HAL Id : hal-01887900 , version 1

Citer

Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Using process algebra to statically analyze incremental propagation graphs. 18th International Workshop in OCL and Textual Modeling, Oct 2018, Copenhague, Denmark. ⟨hal-01887900⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More