Network Invariants for Real-Time Systems.

Olga Grinchtein Martin Leucker

Published in: INFINITY (2003)

Keyphrases

real time systems
real time
mission critical
distributed systems
complex networks
embedded systems
network structure
real time database systems
timing constraints
database
peer to peer
data model
architectural model