Verifying IEC 61499 Function Blocks Using Esterel.

Li Hsien Yoong Partha S. Roop

Published in: IEEE Embed. Syst. Lett. (2010)

Keyphrases

circuit design
control system
database
decision trees
model checking
neural network
three dimensional
information technology
frequency domain