print · login   

Bibliography

ESM controller

SMVJ15
Wouter Smeenk, Joshua Moerman, Frits Vaandrager, David N. Jansen. Applying Automata Learning to Embedded Control Software. Proceedings 17th International Conference on Formal Engineering Methods (ICFEM 2015), Paris, 3-6 November 2015.