Travelled to:
1 × France
Collaborated with:
B.Zalila L.Pautet J.Hugues
Talks about:
ocarina (1) generat (1) environ (1) automat (1) analysi (1) integr (1) applic (1) model (1) high (1) code (1)
Person: Gilles Lasnier
DBLP: Lasnier:Gilles
Contributed to:
Wrote 1 papers:
- AdaEurope-2009-LasnierZPH #analysis #automation #code generation #modelling
- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications (GL, BZ, LP, JH), pp. 237–250.