Communication Dans Un Congrès
Année : 2016
TelecomParis HAL : Connectez-vous pour contacter le contributeur
https://telecom-paris.hal.science/hal-02287373
Soumis le : vendredi 13 septembre 2019-16:54:30
Dernière modification le : mercredi 23 octobre 2024-10:30:04
Dates et versions
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⟩
Collections
45
Consultations
0
Téléchargements