![](https://webarchive.library.unt.edu/eot2008/20081106004638im_/http://www.nsf.gov/images/x.gif)
Event
Formal Methods for Software Systems
![](https://webarchive.library.unt.edu/eot2008/20081106004638im_/http://www.nsf.gov/images/greenline.jpg)
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
|