| High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study | |
|---|---|
| Author | |
| Year of Publication |
2011
|
| 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
|
| Google Scholar | BibTeX | XML | |