Generating Adapters for Concurrent Component Protocol Synchronisation.

Heinz W. Schmidt Ralf H. Reussner

Published in: FMOODS (2002)

Keyphrases

tcp ip
input output
operating system
formal analysis
network protocols
data sets
automatically generating
electronic commerce
computer networks
communication protocol
communication protocols