Login / Signup

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.

Frédéric Lang
Published in: IFM (2005)
Keyphrases
  • partial order
  • data mining
  • qualitative and quantitative
  • significant improvement
  • partially ordered