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

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)