Login / Signup

A formal technique to analyze real-time systems.

Ji WangHuowang Chen
Published in: COMPSAC (1993)
Keyphrases
  • real time systems
  • distributed systems
  • real time
  • embedded systems
  • formal analysis
  • real time database systems
  • mission critical
  • timing constraints
  • artificial intelligence
  • case study
  • high level
  • formal specification