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
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.
Avatar
Guillaume Davy
PhD student (2015-2018)