Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • A Synchronous Approach for Embedded and Automation Systems
    Li Hsien Yoong; Partha S. Roop; Zeeshan E. Bhatti; Matthew M. Y. Kuo
    978-3-319-10521-5
    2015
    Edition 1
    • Describes a mathematically rigorous, model-driven approach for designing embedded / automation systems using IEC 61499
    • Demonstrates how correct-by-construction code can be automatically derived from IEC 61499 models
    • Provides a methodology for static timing analysis and model checking of IEC61499 specifications
    • Provides a pedagogical introduction to formal methods in embedded systems for non-experts and industrial practitioners
    • Includes supplementary material: sn.pub/extras

    €180

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.