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

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4