Conference , Workshops Proceedings

On Test Derivation ...

Petrenko, A. and Yevtushenko, N. "On Test Derivation from Partial Specifications" in Proceedings of the IFIP Joint International (Conference FORTE/PSTV'2000) on Formal Description Techniques (FORTE XIII) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XX), pp. 85-102. Pisa, Italy
[Full text] [Abstract]

  • "Accélérer l'adoption et la mise en place de solutions d'#IA par l'ensemble du tissu économique québécois" Le… https://t.co/b4qAzv9ibL
  • Prompt_Innovation RT @Prompt_Innov: Aujourd’hui, le 22 juin 2018, marque le lancement officiel du 1e appel de projets de INNOV-R! Accélérer la transition ver…