Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Predictable and Composable Real-Time Systems
    Benny Akesson; Kees Goossens
    978-1-4419-8207-0
    2012
    Edition 1
    • Provides an overview of trends in embedded system design that make design of real-time
    • Cs difficult, error-prone, and expensive Introduces the concept of predictability, which is required for formal verification of real-time systems Introduces the concept of composability, which is a divide and conquer technique that enables performance verification per application, instead of monolithic verification for all applications together
    • 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.