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]

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