Conference , Workshops Proceedings

Generating Checking Sequences ...

Petrenko, A. and Simao, A. "Generating Checking Sequences for Partial Reduced Finite State Machines" in Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/Fates 2008), pp. 153-168. Tokyo, Japan,  10 June 2008
[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…