Theses most similar to A formal framework for specification-based embedded real-time system engineering (Ouimet, Martin, 1975-; 2008) read it
- Advisors: Dilsun K. Kayna; Nancy Lynch
- Department of Electrical Engineering and Computer Science
Timed model-based programming : executable specifications for robust mission-critical sequences
Ingham, Michel D. (Michel Donald), 1972- (2003)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
Verifiable compilation of I/O automata without global synchronization
Tauber, Joshua A. (Joshua Allen) (2005)
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisors: Dilsun K. Kayna; Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Carl Hewitt
- Department of Electrical Engineering and Computer Science
- Advisors: I. Kristina Lundqvist; R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
- Advisors: Dilsun Kaynar; Stephen J. Garland
- Department of Electrical Engineering and Computer Science