Journal

Checking Completeness of Tests for Finite State Machines

Simao, A. and Petrenko, A. "Checking Completeness of Tests for Finite State Machines" IEEE Transactions on Computers, 59 (8) 2010 : 1023-1032

  • ????Dernières nouvelles du CRIM! Infolettre février 2018 par ici: https://t.co/WNwaHqDdm5
  • La Journée Techno fut couronnée de succès! L'événement a attiré une centaine de personnes du milieu de la recherche… https://t.co/N1ZNNK6mmk