A Refinement Calculus for the Development of Real-Time Systems.

Zhiqiang Chen Antonio Cau Hussein Zedan Xiaodong Liu Hongji Yang

Published in: APSEC (1998)

Keyphrases

real time systems
embedded real time systems
real time
embedded systems
database
software engineering
distributed systems
information processing
timed automata
object oriented programming language
case study
multi agent
low cost