Safe compositional specification of networking systems.

Azer Bestavros Adam D. Bradley Assaf J. Kfoury Ibrahim Matta

Published in: Comput. Commun. Rev. (2004)

Keyphrases

high level
software engineering
intelligent systems
complex systems
machine learning
multimedia
distributed systems
peer to peer
computer systems
knowledge based systems
computing systems
formal methods
network infrastructure