Login / Signup
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