Search Results - The Kluwer international series in engineering and computer science Real-time systems

Suggested Topics within your search.
  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Real-time systems engineering and applications

    Real-time systems engineering and applications

    Published 1992
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    Foundations of real-time computing formal specifications and methods

    Foundations of real-time computing formal specifications and methods

    Published 1991
    “…The Kluwer international series in engineering and computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 3
    Imprecise and approximate computation

    Imprecise and approximate computation

    Published 1995
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  4. 4
    Synchronization in real-time systems a priority inheritance approach

    Synchronization in real-time systems a priority inheritance approach by Rajkumar, Ragunathan

    Published 1991
    “…The Kluwer international series in engineering and computer science…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  5. 5
    Compositional verification of concurrent and real-time systems

    Compositional verification of concurrent and real-time systems by Juan, Eric Y. T.

    Published 2002
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  6. 6
    Synchronous programming of reactive systems

    Synchronous programming of reactive systems by Halbwachs, Nicolas

    Published 1993
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  7. 7
    Formal techniques in real-time and fault-tolerant systems

    Formal techniques in real-time and fault-tolerant systems

    Published 1993
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  8. 8
    A Practitioner's handbook for real-time analysis guide to rate monotonic analysis for real-time systems

    A Practitioner's handbook for real-time analysis guide to rate monotonic analysis for real-time systems

    Published 1993
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  9. 9
    Software synthesis from dataflow graphs

    Software synthesis from dataflow graphs by Battacharyya, Shuvra S. 1968-

    Published 1996
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: