Model-Based Verification Directed by Structural Coverage and Functional Requirements - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Model-Based Verification Directed by Structural Coverage and Functional Requirements

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02287373 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More