CaltechTHESIS
  A Caltech Library Service

Browse by Committee Member

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Degree Date (Year Only) | Authors | No Grouping
Number of items: 4.

Florian, Mihai (2014) Analysis-aware design of embedded systems software. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:10142013-111401153

Xu, Huan (2013) Design, specification, and synthesis of aircraft electric power systems control logic. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05312013-103940337

White, Jerome (2011) Applying formal methods to distributed algorithms using local-global relations. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05312011-123940546

Wongpiromsarn, Tichakorn (2010) Formal methods for design and verification of embedded control systems : application to an autonomous vehicle. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechTHESIS:05272010-153304667

This list was generated on Thu Oct 30 02:02:16 2014 PDT.