Formal semantics, modular specification, and symbolic verification of product-line behaviour

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

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

421 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « Formal semantics, modular specification, and symbolic verification of product-line behaviour ». Ensemble, ils forment une empreinte digitale unique.

Computer Science