Skip to Main content Skip to Navigation
Conference papers

Model-Based Verification Directed by Structural Coverage and Functional Requirements

yanjun Sun 1, 2 Gérard Memmi 1, 2 Sylvie Vignes 1, 2 
1 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
2 INFRES - Département Informatique et Réseaux
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02287373
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:54:30 PM
Last modification on : Wednesday, November 3, 2021 - 6:22:40 AM

Identifiers

  • HAL Id : hal-02287373, version 1

Collections

INSTITUT-TELECOM | PARISTECH | UNIV-PARIS-SACLAY | LTCI | INFRES | ACES

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

25