A Toolchain for Delta-Oriented Modeling of Software Product Lines

AuthID
 P-00N-DG3
8
Author(s)
Damiani, F
·
Guernieri, M
·
Martini, S
·
Nieke, M
·
Schuster, S
2
Editor(s)
Margaria, T; Steffen, B
Document Type
Proceedings Paper
Year published
2016
Published
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, Pages: 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
Wos®
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-84993960923
Wos: WOS:000389942800040
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service