FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.
Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series
Ter Beek M H;
2012
Abstract
FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_218321-doc_51196.pdf
solo utenti autorizzati
Descrizione: Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series
Tipologia:
Versione Editoriale (PDF)
Dimensione
508.37 kB
Formato
Adobe PDF
|
508.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
