Model-Checking

A Decade of Featured Transition Systems

Oct 1, 2019
A Vision for Behavioural Model-Driven Validation of Software Product Lines

Jan 1, 2012