Accéder directement au contenu Accéder directement à la navigation

Recherche par documents



...
hal-02715065v1  Poster
Théo Le CalvarFabien ChhelFrédéric JouaultFré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