Sign in

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.

Gleb NaumovichLori A. ClarkeJamieson M. Cobleigh
Published in: PASTE (1999)
Keyphrases
  • partial order
  • flow analysis
  • data sets
  • data structure
  • data sources
  • data mining techniques
  • data processing
  • computer systems
  • partially ordered
  • forensic analysis