Introduction.- IEC 61499 in a Nutshell.- Introduction to Synchronous Programming Using Esterel.- Formal Model for IEC 61499 Function Blocks.- Efficient Code Synthesis from Function Blocks.- Verification of Function Blocks.- Timing Analysis.- Case Studies.
"synopsis" may belong to another edition of this title.