Verification of an attitude control system
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
Main Author: | Ha, Vida Uyen, 1980- |
---|---|
Other Authors: | Joseph Kochocki and Stephen Garland. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/87408 |
Similar Items
-
A relational framework for bounded program verification
by: Dennis, Gregory D. (Gregory David), 1980-
Published: (2010) -
Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016) -
A verification framework for hybrid systems
by: Mitra, Sayan
Published: (2008) -
Embedded biometric verification system for access control
by: Lai, Edmund Ming-Kit, et al.
Published: (2008) -
Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)