Login / Signup

Formally Synthesising a Protocol Converter: A Case Study.

Jing CaoAlbert Nymeyer
Published in: CIAA (2009)
Keyphrases
  • lightweight
  • case study
  • formal analysis
  • network simulator
  • single phase
  • low cost
  • input output
  • test bed
  • data conversion
  • network protocols
  • coloured petri nets
  • data sets
  • databases
  • control method
  • key distribution
  • tcp ip