Cours IFT2251 ? Introduction au génie logiciel Cours 1, Lundi 9 ...
1/3 semestre: Réseaux de pétri et vérification (jeux de tests) .... Le plan de test:
Un autre contrat. ..... Réseau vivant si toutes les transitions sont vivantes.
1/3 semestre: Réseaux de pétri et vérification (jeux de tests) .... Le plan de test:
Un autre contrat. ..... Réseau vivant si toutes les transitions sont vivantes.