Acte de conférence, colloque et atelier

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., du 15 au 17 juillet 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