Conference , Workshops Proceedings

Using SDL Tools to Test ...

Hallal, H., Petrenko, A., Ulrich, A. and Boroday, S. "Using SDL Tools to Test Properties of Distributed Systems" in Proceeddings of the Formal Approches to Testing of Software (FATES’01), Workshop of the International Conference on Concurrency Theory (CONCUR'01), pp. 355-372. Aalborg, Dennmark
[Abstract]

  • @Grenier_enbref parle du projet du @CRIM_ca et de @facilis_inc pour mettre à profit le potentiel de l'#IA et de la… https://t.co/rPxATgfpuu
  • Gilles Boulianne, #expert en reconnaissance de la #parole, sera au @DesjardinsLab jeudi prochain le 1er mars! À ne… https://t.co/kaAkHpPKr7