Publicações

A Toolchain for Delta-Oriented Modeling of Software Product Lines

AuthID
P-00N-DG3

Author(s)

Chesta, C

Damiani, F

Dobriakova, L

Guernieri, M

Martini, S

Nieke, M

Rodrigues, V

Schuster, S

Editor(es)

Margaria, T; Steffen, B

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9953, Páginas: 497-511 (15)

Conference

7Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Isola), Date: OCT 10-14, 2016, Location: Corfu, GREECE

Indexing