Learning Extended Finite State Machines

Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. Learning Extended Finite State Machines. In Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 250-264, Springer, 2014. [doi]

Authors

Sofia Cassel

This author has not been identified. Look up 'Sofia Cassel' in Google

Falk Howar

This author has not been identified. Look up 'Falk Howar' in Google

Bengt Jonsson

This author has not been identified. Look up 'Bengt Jonsson' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google