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
  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…