Notable Talks
-
Will future cars have formally verified powertrain control software?
HSCC 2015 Keynote
Slides
Abstract
-
How can CPS education provide what the industry needs?
CPS Education Workshop
Slides
-
Making Formal Methods work in Industrial Practice
PRECISE Seminar, October 2014
Slides