Journal

Generalizing the DS-Methods for Testing Non-Deterministic FSMs

Petrenko, A. and Simao, A. "Generalizing the DS-Methods for Testing Non-Deterministic FSMs" The Computer Journal, 58 (7) 2015 : 1656-1672

  • Nous recrutons ! Nous recherchons deux annotateurs pour se joindre à notre équipe :) https://t.co/nFhjT6XKB7
  • Le Canada s'adapte! RT @LeCanadaSadapte: C’est beau de voir @GGJuliePayette montre l'intérêt du projet de recherche visant à évaluer l’impact des #changements…