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]

  • Roger Léger RT @LegerRoger: Infolettre Juillet 2018 - Le virage numérique ne prend pas de vacances! - https://t.co/2lfyAoC1zi
  • Tom Landry RT @Tom_Landry_: Thanks to @ouranos_cc , @giz_gmbh , DKRZ and @NRCan for a highly appreciated contribution and collaboration.