On Correct-by-Design Embedded Control Software

February 09, 2007, 2001 ESB

Paulo Tabuada

Abstract

seminar flyer (pdf)

Speaker's Bio

Video URL:
http://bradbury3.ece.ucsb.edu/ccdc-media/videos-processed1/20070209-PauloTabuada…