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

  • @Od_Sci Jour 10 – DÉJÀ LA FIN! Pour clore en beauté, découvrez Kevin Heffner, directeur #Innovation, qui discute… https://t.co/R2PvAOvSoz
  • @Od_Sci – Jour 9 : Découvrez Mohamed Dahmane, chercheur en vision au CRIM et spécialiste de la reconnaissance des… https://t.co/7vG5dGpK4J