Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Synchronous, Reactive Specification
    Abdoulaye Gamatié
    978-1-4419-0941-1
    2010
    Edition 1
    • Presents the best pedagogical illustration of embedded system design with a synchronous programming language
    • Offers a language and analysis techniques for the design of multi-clocked embedded systems
    • Describes a formal specification language that provides users with design and analysis tools to guarantee the reliability of safety-critical, embedded systems
    • Enables 'correct-by-construction' designs for modern embedded systems, built on multiprocessor architectures
    • Includes supplementary material: sn.pub/extras

    €200

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.