Timing analysis of industrial real-time systems.

Sérgio Vale Aguiar Campos Edmund M. Clarke Wilfredo R. Marrero Marius Minea

Published in: WIFT (1995)

Keyphrases

real time systems
real time
distributed systems
industrial applications
embedded systems
mission critical
real time database systems
real time embedded
object oriented programming language
artificial intelligence
decision making
low cost
timing constraints
architectural model