Details for the publication SmeenkMVJ15.

Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen (): Applying Automata Learning to Embedded Control Software. In Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, volume 9407 of Lecture Notes in Computer Science, pages 67-83, 2015. DOI BIB