Publications
2015
conference
Modeling and Verification for Dependability in Software Product Lines
Conference by RODRIGUES, G. N., ALVES, V. R., NUNES, V., LANNA, André Luiz Peron Martins, CORDY, M., SCHOBBENS, P., SHARIFLOO, A. M., LEGAY, A. (2015).
BibTeX
@inproceedings{2015-rodrigues-g-n-modeling-and-verification-for-dependability-in-software-product-lines,
author = {RODRIGUES, G. N. and ALVES, V. R. and NUNES, V. and LANNA, André Luiz Peron Martins and CORDY, M. and SCHOBBENS, P. and SHARIFLOO, A. M. and LEGAY, A.},
title = {Modeling and Verification for Dependability in Software Product Lines},
year = {2015},
booktitle = {International Symposium on High Assurance Systems Engineering (HASE)},
address = {Daytona Beach},
doi = {10.1109/HASE.2015.34}
}