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]

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…