GATeL: A V&V Platform for SCADE Models - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Book Sections Year : 2013
Not file

Dates and versions

cea-01818543 , version 1 (19-06-2018)

Identifiers

Cite

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⟩

Collections

CEA DRT LIST
77 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More