Time System

Multiprocessor Scheduling For Real-Time Systems

Dynamic Reconfiguration In Real-Time Systems

Chaotic Dynamics Of Fractional Discrete Time Systems

Real-Time Systems, Architecture, Scheduling, And Application

Modeling And Verification Of Real-Time Systems

The Testability Of Distributed Real-Time Systems

Stability Of Time-Variant Discrete-Time Systems

Self-Organization In Embedded Real-Time Systems

Real-Time And Distributed Real-Time Systems

Self-Organization In Embedded Real-Time Systems

Formal Methods And Hybrid Real-Time Systems

Stability And Stable Oscillations In Discrete Time Systems

Specification And Compositional Verification Of Real-Time Systems

Compositional Verification Of Concurrent And Real-Time Systems

Model-Based Engineering Of Embedded Real-Time Systems

Theories And Experiences For Real-Time System Development

Compositional Verification Of Concurrent And Real-Time Systems

Real-Time Systems Development With Rtems And Multicore Processors

The Complete Edition - Software Engineering For Real-Time Systems

Languages, Compilers And Run-Time Systems For Scalable Computers

Software Engineering For Real-Time Systems Volume 1: Foundations

Real-Time Systems: Design Principles For Distributed Embedded Applications

Constrained Control Of Uncertain, Time-Varying, Discrete-Time Systems

Languages, Compilers, And Run-Time Systems For Scalable Computers

Languages, Compilers And Run-Time Systems For Scalable Computers

Languages, Compilers, And Run-Time Systems For Scalable Computers

Formal Methods For The Design Of Real-Time Systems

Introduction To The Formal Design Of Real-Time Systems

Jop: A Java Optimized Processor For Embedded Real-Time Systems

Innovations In Embedded And Real-Time Systems Engineering For Communication

Dsp Software Development Techniques For Embedded And Real-Time Systems

Triangular Orthogonal Functions For The Analysis Of Continuous Time Systems

Embedded And Real Time System Development: A Software Engineering Perspective

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems

Embedded And Real Time System Development: A Software Engineering Perspective

Unified Behavior Framework For Reactive Robot Control In Real-Time Systems

Unified Behavior Framework For Reactive Robot Control In Real-Time Systems

Specification And Seamless Verification Of Embedded Real-Time Systems - Focus On Isabelle

Worst-Case Execution Time Aware Compilation Techniques For Real-Time Systems

Structured Development For Real-Time Systems: Vol. I: Introduction And Tools

Challenges In Design And Implementation Of Middlewares For Real-Time Systems

Design Guidelines For A Monitoring Environment Concerning Distributed Real-Time Systems

Worst-Case Execution Time Aware Compilation Techniques For Real-Time Systems

Predictable And Runtime-Adaptable Network-On-Chip For Mixed-Critical Real-Time Systems

Algebraically Approximate And Noisy Realization Of Discrete-Time Systems And Digital Images