Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Counterexample guided abstraction refinement of product-line behavioural models

Maxime Cordy, Patrick Heymans, Axel Legay, Pierre Yves Schobbens, Bruno Dawagne, Martin Leucker

Fingerprint

Untersuchen Sie die Forschungsthemen von „Counterexample guided abstraction refinement of product-line behavioural models“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren

Computer Science