On Correct-by-Design Embedded Control Software

February 09, 2007, 2001 ESB

Paulo Tabuada

Abstract

seminar flyer (pdf)

Speaker's Bio