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

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

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18

Cite this