Journal

Checking Completeness of Tests for Finite State Machines

Simao, A. and Petrenko, A. "Checking Completeness of Tests for Finite State Machines" IEEE Transactions on Computers, 59 (8) 2010 : 1023-1032

  • Thank you for supporting innovative initiatives and collaborative work! https://t.co/h2TvLneAbp
  • Découvrez la #startech @technopolys_qc de la semaine → l'entreprise Hospitalis : moteur d’efficacité clinique! https://t.co/pE7TZbmfp0