C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Formal Approach To The Protocol Converter Problem.
Karin Avnit
Vijay D'Silva
Arcot Sowmya
S. Ramesh
Sri Parameswaran
Published in:
DATE (2008)
Keyphrases
</>
formal analysis
lightweight
formal model
high voltage
coloured petri nets
control method
formal specification
data conversion
network protocols
mathematical theory
cryptographic protocols
database
neural network
multi agent
control algorithm
protocol specification