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
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
542
546
978-3-030-34967-7
978-3-030-34968-4
https://www.springer.com/series/558
Behavioural model; Featured transition system; Formal specification; Modal transition system; SPL; Variability
ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.
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