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

Publication
Advances in Control System Technology for Aerospace Applications

Related