Login / Signup

Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.

Hyun-Wook JinKi-Seok BangChuck YooJin-Young ChoiHojung Cha
Published in: SPIN (2002)
Keyphrases
  • formal verification
  • peer to peer
  • statistical analysis
  • network model
  • data analysis
  • model checking
  • automated verification