Conference , Workshops Proceedings

From Scenarios to Test Implementations via Promela

Hallal, H., Alikacem, E., Ulrich, A. et Boroday, S. "From Scenarios to Test Implementations via Promela" dans 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). Natal, Brazil, 8 to 10 November 2010

  • É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…