Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

Fei He Luciano Baresi Carlo Ghezzi Paola Spoletini

Published in: FORTE (2007)

Keyphrases

formal analysis
timed automata
publish subscribe systems
model checking
publish subscribe
formal methods
information dissemination
theorem prover
agent model
event driven
social networks
low cost
database management systems
software systems
real time systems