|
[ home ]
[ list of talks ]
[ agenda ]
[ attendees ]
[ motivation ]
[ leadership ]
[ sponsorship ]
[ call for papers ]
[ previous/related meetings ]
|
| |
NITRD HCSS-AS:
Leadership
|
National Workshop on Aviation Software Systems: Design
for Certifiably Dependable Systems
A Workshop on Research Directions and State of Practice of High Confidence Software Systems
October 4-5, 2006, Alexandria, VA
|
| |
|
| |
Leadership
|
This workshop, and all planning workshops, were organized and
executed by Prof.
Claire Tomlin (UC Berkeley/Stanford) and Prof.
John Hansman (MIT), with help from Dr.
Jonathan Sprinkle of the UC Berkeley CHESS Center.
|
| |
Program Committee |
John Hansman (MIT)
Jonathan Sprinkle (UC Berkeley)
Claire Tomlin (UC Berkeley/Stanford)
Paul Miner (NASA)
Ray Bortner (AFRL)
Shankar Sastry (UC Berkeley) |
|
| |
|
| |
|
Last modified
7 December, 2006
Please send website related questions to the website
administrator. |
|
|
