Book Sections
Year : 2013
Léna Le Roy : Connect in order to contact the contributor
https://hal-cea.archives-ouvertes.fr/cea-01818543
Submitted on : Tuesday, June 19, 2018-11:24:20 AM
Last modification on : Saturday, June 25, 2022-9:11:29 PM
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⟩
64
View
0
Download