Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Contributo in Atti di convegno
Data di Pubblicazione:
2019
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Behavioural model; Featured transition system; Formal specification; Modal transition system; SPL; Variability
Elenco autori:
ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: