High confidence embedded software design: a quadrotor helicopter case study

Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits. High confidence embedded software design: a quadrotor helicopter case study. SIGBED Review, 8(2):44-47, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.