Machine-Checked Sequencer for Critical Embedded Code Generator.

Nassima Izerrouken Marc Pantel Xavier Thirioux

Published in: ICFEM (2009)

Keyphrases

code generator
automatically generated
code generation
process model
database
case study
data driven