Conference , Workshops Proceedings

Queued Testing of Transition ...

Petrenko, A. and Yevtushenko, N. "Queued Testing of Transition Systems with Inputs and Outputs" in Proceedings of the Workshop on Formal Approaches to Testing Of Software (Fates'02), A Satellite Workshop of Concur'02. Brno, Czech Republic
[Full text] [Abstract]

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg