TY  - RPRT
TI  - From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
AU  - Timothy Wang
AU  - Romain Jobredeaux
AU  - Heber Herencia
AU  - Pierre-Loic Garoche
AU  - Arnaud Dieumegard
AU  - Eric Feron
AU  - Marc Pantel
PY  - 2013
UR  - https://arxiv.org/abs/1307.2641
ID  - 1307.2641
ER  -