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

  • FRQNT RT @FRQ_NT: Grâce à l'expertise du @CRIM_ca, @Mobi724 se lance dans le prédictif! #BigData #algorithmes #FinTech #techno @InvestQuebec @Ca…
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk