Formal models for the verification of IEC 61499 function block based control applications.

Arndt Lder, Christian Schwab, Marcus Tangermann, Jrn Peschke

Browse the full ETFA paper archive.