Skip to Main content Skip to Navigation
Book sections

GATeL: A V&V Platform for SCADE Models

B. Marre 1 B. Bianc 1 P. Mouy 1 C. Junke 1
1 DILS - Département Ingénierie Logiciels et Systèmes
Document type :
Book sections
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01818543
Contributor : Léna Le Roy <>
Submitted on : Tuesday, June 19, 2018 - 11:24:20 AM
Last modification on : Saturday, May 1, 2021 - 3:41:33 AM

Identifiers

Collections

CEA | DRT | LIST | GS-COMPUTER-SCIENCE

Citation

B. Marre, B. Bianc, P. Mouy, C. Junke. GATeL: A V&V Platform for SCADE Models. Formal Methods: Industrial Use from Model to the Code, John Wiley and Sons, pp.273-285, 2013, 9781848213623. ⟨10.1002/9781118561898.ch7⟩. ⟨cea-01818543⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics