Search

Current filters:

Add filters:

 

Results 1-3 of 3 (Search time: 0.022 seconds).

  • previous
  • 1
  • next
Issue DateTitleAuthor(s)TypeAccess
2006Application of reinforcement learning algorithms to software verificationMoturu, Krishna Priya DarsiniMémoire de maîtriseOpen access
2006Vérification des systèmes à pile au moyen des algèbres de KleeneMathieu, VincentMémoire de maîtriseOpen access
2006Oméga-Algèbre : théorie et application en vérification de programmesBolduc, ClaudeMémoire de maîtriseOpen access