Conference , Workshops Proceedings

Verification and Testing ...

Petrenko, A. and Ulrich, A. "Verification and Testing of Concurrent Systems with Action Races" in Proceedings of the IFIP 13th International Conference on Testing of Communication Systems (TestCom 2000), pp. 261-280. Ottawa, Canada
[Abstract]

  • 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