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]

  • Batimatech RT @batimateck: Bon, c’est confirmé, https://t.co/4ZLfD5uM9f annonce aujourd’hui son programme pour Batimatech 2018 @SATmontreal #Construc…
  • SciencePresse RT @SciencePresse: L’intelligence artificielle et les Québécois https://t.co/OjN1oFSF0A @Isaburgun #IntelligenceArtificielle #Québec #Perce…