On Formal Analysis of IEC 61499 Applications, Part A: Modeling.

Goran Cengic Knut Åkesson

Published in: IEEE Trans. Ind. Informatics (2010)

Keyphrases

modeling language
formal analysis
formal methods
control system
real time
expert systems
agent model
interactive evolutionary computation
databases
machine learning
low cost
intrusion detection