Conference , Workshops Proceedings

Inferring Finite State Machines Without Reset Using a Characterizing W-set

Groz, R.,, Simao, A.,, Petrenko, A. and Oriat, C., "Inferring Finite State Machines Without Reset Using a Characterizing W-set" in Proceedings of the 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), pp. 161-177. Berlin Heidelberg: Springer-Verlag, LNCS 9447. Dubai, United Arab Emirates, 23 to 25 November 2015

  • Infolettre de juin 2018 - Voici les dernières nouvelles du CRIM, ses membres et partenaires https://t.co/e4pU6hMa4j https://t.co/YSVe1z1SNB
  • technopolys RT @technopolys_qc: Gestion de réunions : le CRIM et Luffa deviennent partenaires https://t.co/zkpnadMXGv