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]

  • TECHNOCompétences RT @TECHNOCompetenc: Initions les jeunes aux compétences numériques ! Lisez et partagez l'article de @ecolebranchee à propos de #MaVieTECHN…
  • Au tour du @lienmultimedia de parler du projet d'#IntelligenceArtificielle du CRIM et de @facilis_inc! L'expertise… https://t.co/142GYrXbjX