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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.