Model-Based Veri&#64257;cation Directed by Structural Coverage and Functional Requirements

Yanjun Sun; Gérard Memmi; Sylvie Vignes

Conference Papers Year : 2016

Model-Based Veriﬁcation Directed by Structural Coverage and Functional Requirements

(1, 2) , (1, 2) , (1, 2)

1
2

Yanjun Sun

Function : Author

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Gérard Memmi

Function : Author
PersonId : 1082903
ORCID : 0000-0002-3380-8394

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Sylvie Vignes

Function : Author

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Domains

Computer Science [cs] Software Engineering [cs.SE]

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

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

Identifiers

HAL Id : hal-02287373 , version 1

Cite

Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Veriﬁcation Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩

Model-Based Veriﬁcation Directed by Structural Coverage and Functional Requirements

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share