Conference , Workshops Proceedings

FSM Inference from Long Traces

Avellaneda, F. et Petrenko, A. "FSM Inference from Long Traces" dans Proceedings of the 22nd International Symposium (FM 2018), pp. 93-109. Oxford, U.K., 15 to 17 July 2018

In: Havelund K., Peleska J., Roscoe B., de Vink E. (eds) Formal Methods. FM 2018. Lecture Notes in Computer Science, vol 10951. Springer, Cham
  • ????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