From design to implementation: An automated, credible autocoding chain for control systems

Timothy Wang, Romain Jobredeaux, Heber Herencia, Pierre Loïc Garoche, Arnaud Dieumegard, Éric Feron, Marc Pantel

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Scopus citations
Original languageEnglish (US)
Title of host publicationLecture Notes in Control and Information Sciences
Number of pages44
StatePublished - Jan 1 2015
Externally publishedYes

Cite this