Login / Signup

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs.

Peter HerrmannHeiko KrummOlaf DrögehornWalter Geisselhardt
Published in: Telecommun. Syst. (2002)
Keyphrases
  • formal verification
  • tool support
  • model checker
  • lightweight
  • expert systems
  • databases
  • machine learning
  • artificial intelligence
  • multi agent systems
  • software development
  • information security
  • software projects