Network invariants for real-time systems.

Olga Grinchtein Martin Leucker

Published in: Formal Aspects Comput. (2008)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
network structure
timing constraints
mission critical
machine learning
peer to peer
object oriented programming language