Login / Signup

A study on static analysis in network of synchronizing FSMs.

Jessica Chen
Published in: APSEC (2000)
Keyphrases
  • static analysis
  • data sets
  • social networks
  • metadata
  • database systems
  • source code
  • java card