@dblp

Model-based verification of PLC programs using Simulink design.

, , and . EIT, page 211-216. IEEE, (2016)

Links and resources

Tags