On Definition of a Formal Model for IEC 61499 Function Blocks.

Victor Dubinin Valeriy Vyatkin

Published in: EURASIP J. Embed. Syst. (2008)

Keyphrases

formal model
control system
probabilistic knowledge
communication networks
block size
predicate calculus
database
digital images
dct coefficients
formal models
security properties