High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study
Mon, 04/25/2011 - 1:29pm
| Title | High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits |
| Refereed Designation | Unknown |
| Conference Name | International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session) |
| Date Published | 04/2011 |
| Publisher | IEEE Computer Society Press |
| Conference Location | Chicago, IL |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering