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

3 Scopus citations
Original languageEnglish (US)
Title of host publicationLecture Notes in Control and Information Sciences
PublisherSpringer Verlagservice@springer.de
Pages137-180
Number of pages44
DOIs
StatePublished - Jan 1 2015
Externally publishedYes

Cite this