Login / Signup
On the Formal Model for IEC 61499 Composite Function Blocks.
Won-je Kim
Song-il Cha
Kyong-Jin Sok
Published in:
CoRR (2018)
Keyphrases
</>
formal model
control system
predicate calculus
piecewise linear
block size
multiresolution
image blocks
security properties