Travelled to:
1 × USA
Collaborated with:
J.Hugues
Talks about:
leverag (1) generat (1) assess (1) spark (1) model (1) code (1) aadl (1) ada (1)
Person: Christophe Garion
DBLP: Garion:Christophe
Contributed to:
Wrote 1 papers:
- HILT-2014-HuguesG #ada #modelling
- Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.