a thesis in the record
Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
2010 · California Institute of Technology · doctoral · Mechanical Engineering; Control and Dynamical Systems
Author
Supervisor
File and licence
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_caltechthesis_caltechthesis_5864,
author = {{Academic Ancestry}},
title = {{Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle: record of a thesis}},
year = {2026},
url = {https://academicancestry.org/thesis/caltechthesis/caltechthesis%3A5864},
note = {read on 2026-10-22}
}apa
Academic Ancestry. (2026, October 22). Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle: Record of a thesis [Read on 2026-10-22]. https://academicancestry.org/thesis/caltechthesis/caltechthesis%3A5864