Cristina Chesta
AuthID: R-00H-DG7
1
TÃTULO: A Toolchain for Delta-Oriented Modeling of Software Product Lines
AUTORES: Cristina Chesta; Ferruccio Damiani; Liudmila Dobriakova; Marco Guernieri; Simone Martini; Michael Nieke; Vitor Rodrigues ; Sven Schuster;
PUBLICAÇÃO: 2016, FONTE: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, VOLUME: 9953
AUTORES: Cristina Chesta; Ferruccio Damiani; Liudmila Dobriakova; Marco Guernieri; Simone Martini; Michael Nieke; Vitor Rodrigues ; Sven Schuster;
PUBLICAÇÃO: 2016, FONTE: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, VOLUME: 9953
