CINECA IRIS Institutional Research Information System

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

Damiani F.;Testa L.;
2019-01-01
2019
Inglese
contributo
1 - Conferenza
15th International Conference on Integrated Formal Methods, IFM 2019
nor
2019
Internazionale
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Esperti anonimi
Springer
Cham
SVIZZERA
11918
534
537
4
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
978-3-030-34967-7
978-3-030-34968-4
WOS:000611734300032
2-s2.0-85076997692
https://www.springer.com/series/558
Journal First Track paper
Core calculus; Delta-Oriented Programming; Software product line analysis; Statechart
sì
FRANCIA
NORVEGIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Lienhardt M.; Damiani F.; Testa L.; Turin G.
273
partially_open
04A-Conference paper in volume
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
  Visualizza/Apri   Richiedi una copia
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
Visualizza/Apri
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