Conference , Workshops Proceedings

From Passive to Active FSM Inference via Checking Sequence Construction

Petrenko, A., Avellaneda, F., Groz, R. et Oriat, C. "From Passive to Active FSM Inference via Checking Sequence Construction" dans Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 126-141 Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, 9 to 11 October 2017

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