Chapitre D'ouvrage
Année : 2013
Léna Le Roy : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-01818543
Soumis le : mardi 19 juin 2018-11:24:20
Dernière modification le : mercredi 3 avril 2024-11:14:12
Citer
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
85
Consultations
0
Téléchargements