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

  • Tout est prêt pour le cocktail réseautage du CRIM et de ?@Prompt_Innov? ! On vous y attend dès 18h ???? ???? ????… https://t.co/OgeCt5M06I
  • Nous vous attendons au CRIM dès 16h30! https://t.co/lzUop6L36A https://t.co/rhYtRbD9GI