Behavioral Model Synthesis of PLC Programs from Execution Traces

Prähofer, Herbert; Schatz, Roland; Grimmer, Andreas

doi:10.1109/ETFA.2014.7005259

by Herbert Prähofer, Roland Schatz, Andreas Grimmer

Reference:

Behavioral Model Synthesis of PLC Programs from Execution Traces (Herbert Prähofer, Roland Schatz, Andreas Grimmer), In Proceedings of the 19th IEEE International Conference on Emerging Technologies & Factory Automation, 2014.

Bibtex Entry:

@Conference{Praehofer2014,
  Title                    = {Behavioral Model Synthesis of PLC Programs from Execution Traces},
  Author                   = {Herbert Prähofer and Roland Schatz and Andreas Grimmer},
  Booktitle                = {Proceedings of the 19th IEEE International Conference on Emerging Technologies \& Factory Automation},
  Year                     = {2014},
  Series                   = {ETFA '14},
pages={1-5}, 
doi={10.1109/ETFA.2014.7005259}, 
ISSN={1946-0740}, 
  Keywords                 = {CD Lab MEVSS},
  Address                 = {Barcelona, Spain}
}