Login / Signup

Duration Calculus, a Logical Approach to Real-Time Systems.

Zhou Chaochen
Published in: AMAST (1998)
Keyphrases
  • real time systems
  • timed automata
  • real time
  • distributed systems
  • embedded systems
  • timing constraints
  • real time database systems
  • real time embedded
  • mission critical
  • anytime algorithms
  • architectural model
  • low cost