Publication

2016

2015

  1. Genaina Nunes Rodrigues; Vander Ramos Alves; NUNES, VINICIUS; André Luiz Peron Martins Lanna; CORDY, MAXIME; YVES; SHARIFLOO, AMIR MOLZAM; LEGAY, AXEL. "Modeling and Verification for Probabilistic Properties in Software Product Lines" IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), , (2015). [Software Product Line] [Dependability]

2014

2013

2012