Loose Specification of Real Time Systems.

Jan van Katwijk Hans Toetenel

Published in: Informatica (Slovenia) (1995)

Keyphrases

real time systems
reactive systems
real time
distributed systems
embedded systems
timing constraints
real time embedded
high level
object oriented programming language
formal specification
real time database systems
architectural model
multi agent
cooperative