Behavioral model synthesis of PLC programs from execution traces.

Herbert Prhofer, Roland Schatz, Andreas Grimmer

Browse the full ETFA paper archive.