Model-Based Verification Directed by Structural Coverage and Functional Requirements - Télécom Paris Access content directly
Conference Papers Year : 2016
No file

Dates and versions

hal-02287373 , version 1 (13-09-2019)

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⟩
30 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More