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 recrute! Conseiller en recrutement en TI
  • Chambly Express.ca RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…