Static analysis of incremental propagation graphs with process algebra

TitreStatic analysis of incremental propagation graphs with process algebra
Type de publicationPrésentation
TypePoster
Année2018
LangueAnglais
Date14/19/10/2018
AuteurLe Calvar, Théo , Chhel, Fabien , Jouault, Frédéric , Saubion, Frédéric
PaysDanemark
VilleCopenhague
Notes

Poster presentation related to OCL workshop 2018

URL de la noticehttp://okina.univ-angers.fr/publications/ua17611