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]

  • @Od_Sci Jour 10 – DÉJÀ LA FIN! Pour clore en beauté, découvrez Kevin Heffner, directeur #Innovation, qui discute… https://t.co/R2PvAOvSoz
  • @Od_Sci – Jour 9 : Découvrez Mohamed Dahmane, chercheur en vision au CRIM et spécialiste de la reconnaissance des… https://t.co/7vG5dGpK4J