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]

  • Économie Québec RT @economie_quebec: Avec la Stratégie numérique, le Québec met en route un véritable projet de société. Soyez des nôtres mercredi le 13 dé…
  • Dominique Anglade RT @DomAnglade: Le numérique transforme notre rapport au savoir et multiplie les manières d’approfondir nos connaissances. Au cœur de cette…