Event
Hybrid Systems: Computation and Control (HSCC) 2012
 
Katie Dey Submitted by Katie Dey on April 16th, 2012
Event
Fourth NASA Formal Methods Symposium
The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within NASA, for example, suchsystems include autonomous robots, separation assurance algorithms for aircraft,Next Generation Air Transportation (NextGen), and autonomous rendezvous anddocking for spacecraft. Moreover, emerging paradigms such as code generation
Alwyn Goodloe Submitted by Alwyn Goodloe on April 16th, 2012
Subscribe to HSCC 2012
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.