Herbert Prähofer, Roland Schatz, Andreas Grimmer. Behavioral model synthesis of PLC programs from execution traces. In Antoni Grau, Herminio MartÃnez, editors, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014. pages 1-5, IEEE, 2014. [doi]
Abstract is missing.