Incorporating Data into EFSM Inference

Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick. Incorporating Data into EFSM Inference. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 257-272, Springer, 2019. [doi]

Abstract

Abstract is missing.