On Correct-by-Design Embedded Control Software

Speaker

Paulo Tabuada

Date and Location

Friday February 09, 2007 3:00pm to 4:00pm
2001 ESB