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]

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…