%0 Journal Article %1 journals/corr/WangJHGDFP13 %A Wang, Timothy %A Jobredeaux, Romain %A Herencia-Zapana, Heber %A Garoche, Pierre-Loïc %A Dieumegard, Arnaud %A Feron, Eric %A Pantel, Marc %D 2013 %J CoRR %K %T From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1307.html#WangJHGDFP13 %V abs/1307.2641

@article{journals/corr/WangJHGDFP13, added-at = {2023-12-12T19:03:29.000+0100}, author = {Wang, Timothy and Jobredeaux, Romain and Herencia-Zapana, Heber and Garoche, Pierre-Loïc and Dieumegard, Arnaud and Feron, Eric and Pantel, Marc}, biburl = {https://www.bibsonomy.org/bibtex/23218d7d23646e4095167f101cedbeff6/admin}, ee = {http://arxiv.org/abs/1307.2641}, interhash = {1b1e76aac924a0dd06c4836a27f2346c}, intrahash = {3218d7d23646e4095167f101cedbeff6}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T19:03:29.000+0100}, title = {From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#WangJHGDFP13}, volume = {abs/1307.2641}, year = 2013 }