Login / Signup

An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems.

Horng-Yuan ChenJeffrey J. P. TsaiYao-Dong Bi
Published in: Int. J. Artif. Intell. Tools (1993)
Keyphrases
  • real time systems
  • real time
  • timing constraints
  • distributed systems
  • embedded systems
  • artificial intelligence
  • cooperative
  • low cost
  • real time database systems
  • mission critical