Sign in

Effects of Refactoring Legacy Protocol Implementations: A Case Study.

Birgit GeppertFrank Rößler
Published in: IEEE METRICS (2004)
Keyphrases
  • lightweight
  • efficient implementation
  • case study
  • test bed
  • software systems
  • network protocols
  • coloured petri nets
  • database systems
  • cooperative
  • source code
  • formal analysis
  • security analysis