Login / Signup
Counterexample guided abstraction refinement of product-line behavioural models.
Maxime Cordy
Patrick Heymans
Axel Legay
Pierre-Yves Schobbens
Bruno Dawagne
Martin Leucker
Published in:
Software Engineering (2016)
Keyphrases
</>
product line
statistical models
statistical model
accurate models
complex systems
computational models
software product line
real world
information retrieval
multi agent systems
probabilistic model