Conference , Workshops Proceedings

Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, A. "Checking Experiments for Symbolic Input/Output Finite State Machines" in Proc. of the IEEE Ninth International Conference on Software Testing, Verification and Validation (ICST'2016), pp. 3-18 Volume 9447 of the series Lecture Notes in Computer Science. Illinois, Chicago, USA, 10 to 15 April 2016

  • 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