From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems

Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loic Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
January 2013
PDF Cite
Type
Report
Publication
CoRR
"own"
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related