Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay, J.-F. Raskin

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

Empreinte digitale

Examiner les sujets de recherche de « Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking ». Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux