Simulation-Based Abstractions for Software Product-Line Model Checking

Maxime Cordy, Andreas Classen, Gilles Perrouin, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

56 Downloads (Pure)
Filter
Finished

Search results

  • Finished

    Evolution: Evolution

    Cleve, A. (PI)

    1/01/10 → 31/01/10

    Project: Research Axis