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