Automatic verification of the timing properties of MMT automata

Automatic verification of the timing properties of MMT automata

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. === Includes bibliographical references (leaves 92-93). === by Ekrem Sezer Sölemez. === M.Eng.

Bibliographic Details
Main Author: Söylemez, Ekrem Sezer
Other Authors: Nancy A. Lynch, Stephen J. Garland.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2006
Subjects:
Electrical Engineering and Computer Science
Online Access:http://hdl.handle.net/1721.1/35002

Internet

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

Similar Items