Suggestions

Du même auteur

On logical bifurcation diagrams

Archive ouverte | Abou-Jaoudé, Wassim | CCSD

International audience

Model checking to assess T-helper cell plasticity

Archive ouverte | Abou-Jaoudé, Wassim | CCSD

International audience

Quantification of reachable attractors in asynchronous discrete dynamics

Archive ouverte | Mendes, Nuno D. | CCSD

19 pages, 2 figures, 2 algorithms and 2 tables. Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse...

Chargement des enrichissements...