A Caltech Library Service

Browse by Committee Member

Group by: Degree Date (Year Only) | Authors | No Grouping

Number of items: 3.

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 Tue Jun 18 18:53:10 2013 PDT.

CaltechTHESIS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.