Ensuring functional correctness of cyber-physical system controllers: from model to code analyses

Guillaume Davy, Christophe Garion, Pierre-Loic Garoche, Pierre Roux, Xavier Thirioux
September 2018
Cite
Type
Conference paper
Publication
Forum on Specification and Design Languages, Special session on Logic and Mathematics Behind Design Automation, FDL'18, TU Munich 10.9-12.9.2018.
"own"
Guillaume Davy
Guillaume Davy
Formal method Engineer @ Alstom
Christophe Garion
Christophe Garion
Professor at ISAE-Supaero
Pierre Roux
Pierre Roux
Researcher at Onera
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related