Specifying Real-Time Systems with Z and the Duration Calculus.

Published in: Z User Workshop (1994)

Keyphrases

real time systems
timed automata
real time
distributed systems
embedded systems
real time database systems
mission critical
architectural model
timing constraints
object oriented programming language
embedded real time systems
high level
multi agent
computer science