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

doi:10.1007/978-3-662-47694-9_5

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 proceeding › Chapter

Original language	English (US)
Title of host publication	Lecture Notes in Control and Information Sciences
Publisher	Springer [email protected]
Pages	137-180
Number of pages	44
DOIs	https://doi.org/10.1007/978-3-662-47694-9_5
State	Published - Jan 1 2015
Externally published	Yes

Bibliographical note

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

Access to Document

10.1007/978-3-662-47694-9_5

Cite this

@inbook{fec4885789724d2aa8bf449e5f36442d,

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

author = "Timothy Wang and Romain Jobredeaux and Heber Herencia and Garoche, {Pierre Lo{\"i}c} and Arnaud Dieumegard and {\'E}ric Feron and Marc Pantel",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-662-47694-9_5",

language = "English (US)",

pages = "137--180",

booktitle = "Lecture Notes in Control and Information Sciences",

publisher = "Springer [email protected]",

}

TY - CHAP

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

AU - Wang, Timothy

AU - Jobredeaux, Romain

AU - Herencia, Heber

AU - Garoche, Pierre Loïc

AU - Dieumegard, Arnaud

AU - Feron, Éric

AU - Pantel, Marc

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

PY - 2015/1/1

Y1 - 2015/1/1

UR - http://link.springer.com/10.1007/978-3-662-47694-9_5

UR - http://www.scopus.com/inward/record.url?scp=84941898185&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-47694-9_5

DO - 10.1007/978-3-662-47694-9_5

M3 - Chapter

SP - 137

EP - 180

BT - Lecture Notes in Control and Information Sciences

PB - Springer [email protected]

ER -

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

Bibliographical note

Access to Document

Other files and links

Cite this