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