Conference , Workshops Proceedings

Verification and Testing of Concurrent ...

Petrenko, A. and Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" in Proceedings of the 13th Workshop Test Methods and Reliability of Circuits and Systems. Southern Bavaria, Miesbach, Germany
[Full text]

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