Sign in
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.
Massimo Tivoli
David Garlan
Published in:
WICSA (2005)
Keyphrases
</>
lightweight
cryptographic protocols
network simulator
database
formal analysis
program synthesis
real time
data mining
information systems
cooperative
multi party
tcp ip
communication protocols
coloured petri nets