Conference , Workshops Proceedings

Using SDL Tools to Test ...

Hallal, H., Petrenko, A., Ulrich, A. and Boroday, S. "Using SDL Tools to Test Properties of Distributed Systems" in Proceeddings of the Formal Approches to Testing of Software (FATES’01), Workshop of the International Conference on Concurrency Theory (CONCUR'01), pp. 355-372. Aalborg, Dennmark
[Abstract]

  • Prompt_Innovation RT @Prompt_Innov: Connaissez-vs In-Sec-M, la grappe de la #cybersecurite? Elle regroupe des innovateurs de l’industrie, pour créer en syner…
  • Nathalie Bleau RT @NathalieBleau: Lancement du programme #ClimatMunicipalités2 #CM2 du @MDDELCC pour permettre aux #municipalités entre autres, aux #Chang…