Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts

Damiani F.;Testa L.;
2019-01-01

2019
15th International Conference on Integrated Formal Methods, IFM 2019
nor
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Springer
11918
534
537
978-3-030-34967-7
978-3-030-34968-4
https://www.springer.com/series/558
Core calculus; Delta-Oriented Programming; Software product line analysis; Statechart
Lienhardt M.; Damiani F.; Testa L.; Turin G.
File in questo prodotto:
File Dimensione Formato  
LNCS-IFM-2019-Lienhardt-et-al.pdf

Accesso riservato

Descrizione: Journal First Track paper
Tipo di file: PDF EDITORIALE
Dimensione 187.9 kB
Formato Adobe PDF
187.9 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
main.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 267.27 kB
Formato Adobe PDF
267.27 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1725812
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact