Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.

Thomas Göthel Sabine Glesner

Published in: SEFM (2010)

Keyphrases

real time systems
real time
distributed systems
timing constraints
network structure
peer to peer
embedded systems
database
machine learning
artificial intelligence
cooperative
object oriented
moment invariants
real time database systems