|
|||||
|
|
Scenario-based verification in presence of variability using a synchronous approach |
|
| Authors: | Jean-Vivien MILLO Frederic MALLET Anthony COADOU S RAMESH |
| Abstract: | Esterel, UML MARTE, scenario, verification,feature interaction, variability |
| Keywords: | Esterel UML MARTE scenario verification feature interaction variability |
| 本文献已被 维普 等数据库收录！ | |