Journal

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, A. "Toward testing from finite state machines with symbolic inputs and outputs" Springer Software and Systems Modeling (August 2017), 17 (1) 2017 : 1-11

  • @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