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) ... Pas de livre
comme tel, quelques références sur le plan de cours (par exemple pour des
exercices). Association ... Le test rend visible les erreurs en engendrant des
défaillances.