Journal

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, A. "Toward testing from finite state machines with symbolic inputs and outputs" Springer Software and Systems Modeling (August 2017), 17 (1) 2017 : 1-11

  • ????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