Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
Contributo in Atti di convegno
Data di Pubblicazione:
2019
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Core calculus; Delta-Oriented Programming; Software product line analysis; Statechart
Elenco autori:
Lienhardt M.; Damiani F.; Testa L.; Turin G.
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: