CINECA IRIS Institutional Research Information System

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

Damiani F.;Paolini 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
542
546
5
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
978-3-030-34967-7
978-3-030-34968-4
WOS:000611734300034
2-s2.0-85076994542
https://www.springer.com/series/558
Behavioural model; Featured transition system; Formal specification; Modal transition system; SPL; Variability
no
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
5
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.
273
partially_open
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
Summary of - On the Expressiveness of Modal Transition Systems with Variability Constraints - LNCS 2019 ori.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 211.31 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
211.31 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
paper.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 138.3 kB
Formato Adobe PDF
Visualizza/Apri
138.3 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/1725808
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact