Filter by: Subject
Now showing items 1-19 of 1
Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984) (1) |
Petri nets (1) |
algorithmics (1) |
algorithmique (1) |
branchement infini (1) |
complexité du calcul (1) |
computational complexity (1) |
coverability problem (1) |
formal verification (1) |
infinite branching (1) |
problème de couverture (1) |
problème d’accessibilité (1) |
reachability problem (1) |
réseaux de Petri (1) |
systèmes de transitions bien structurés (1) |
systèmes d’addition de vecteurs (1) |
vector addition systems (1) |
vérification formelle (1) |
well-structured transition systems (1) |