Skip to main content
CaltechTHESIS
Caltech Library Thesis Repository
Home
About
Search
Author
Year
Advisors
Committee Members
Degree/Thesis Type
Option
Research Group
Havelund, Klaus
Committee Member
— 1 thesis
Florian, Mihai —
Analysis-Aware Design of Embedded Systems Software
(2014, Dissertation (Ph.D.))