Technical report

Test Generation for Non-Deterministic Systems ...

Boroday, S., Petrenko, A., Groz, R. Test Generation for Non-Deterministic Systems with Model and Module Checkers. Montreal, CRIM, 2007. [CRIM-07/02-02]

  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg
  • @TECHNOCompetenc et le CRIM présentent une Classe de Maîtres sur les nouveaux standards Web et Angular en collabora… https://t.co/4718RrHKfa