
Scenario-based verification in presence of variability using a synchronous approach
Millo, Jean-Vivien, Mallet, Frédéric, Coadou, Anthony, Ramesh, S.Volume:
7
Langue:
english
Journal:
Frontiers of Computer Science
DOI:
10.1007/s11704-013-3094-6
Date:
October, 2013
Fichier:
PDF, 1.72 MB
english, 2013