Skip to content

Modelling and Verification of IEC 61499 Applications using Prolog.

Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch

VenueCETFA
Year2006
ProceedingsETFA

Browse the full ETFA paper archive.