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
  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…