Event
Formal Methods for Software Systems
High Confidence Real-Time Operating Systems
July 9, 2007 9:00 AM
to July 9, 2007 11:00 AM
Westin, Arlington
Presentation by Dr. Jeannette Wing, Assistant Director, Computer and Information Science and Engineering Directorate.
This event is part of AD Presentation.
Meeting Type Lecture
Contacts
Gwendolyn Barber-Blount, (703) 292-8900 gbarber@nsf.gov
NSF Related Organizations
Directorate for Computer & Information Science & Engineering
Related Websites Presentation Slides: http://www.nsf.gov/cise/oad/ad_pres/2007_07_09_hc_rtos.pdf
|