Adaptive Runtime Verification for Autonomic Communication Infrastructures.

Giovanni Denaro Leonardo Mariani Mauro Pezzè Davide Tosi

Published in: WOWMOM (2005)

Keyphrases

communication systems
communication overhead
model checking
data driven
computer networks
open systems
databases
database systems
information technology
distributed systems
information sharing
formal methods
human computer
communication patterns