Publications de
Timothy Wang, Romain Jobredeaux, Heber Henrencia, Pierre-Loïc Garoche, Eric Feron, Marc Pantel
From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems
Dans : Advances in Control System Technology for Aerospace Applications. Eric Féron (Eds.) , Springer-Verlag, p. 137-180, 2016.