Data di Pubblicazione:
2013
Abstract:
Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Product family; Variability; Model checking; Temporal logic; D.2.4 Software/Program Verification.
Elenco autori:
Gnesi, Stefania; TER BEEK, MAURICE HENRI; Mazzanti, Franco
Link alla scheda completa:
Pubblicato in: