Conference Papers
Year : 2016
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02287373
Submitted on : Friday, September 13, 2019-4:54:30 PM
Last modification on : Tuesday, February 28, 2023-3:36:24 PM
Dates and versions
Identifiers
- HAL Id : hal-02287373 , version 1
Cite
Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Verification Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩
Collections
26
View
0
Download