Modelling and Model Checking Variability-Intensive Systems

Classen, Andreas (Researcher)
Heymans, Patrick (CoI)
Schobbens, Pierre Yves (CoI)

Project: PHD

1 Chapter (peer-reviewed)
1 Article

1 results

Filter

2013
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In: IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.
Research output: Contribution to journal › Article › peer-review