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

Publication
CoRR
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related