A formal framework for specification-based embedded real-time system engineering

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2008.

Bibliographic Details
Main Author:	Ouimet, Martin, 1975-
Other Authors:	I. Kristina Lundqvist.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2009
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/45272

Internet

http://hdl.handle.net/1721.1/45272