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]

  • Présentation de l’étude d’impact par Étienne Vignola-Gagné de @ScienceMetrix. Merci à ceux qui ont contribué, par l… https://t.co/wae5iGCYLY
  • Ouverture de l’assemblée par Guillaume Bazinet, VP Stratégie et développement d’affaires chez @FZXRecrutement et pr… https://t.co/nTyvVnT4CH