Automatic verification of the timing properties of MMT automata

Söylemez, Ekrem Sezer

Publication date

January 1994

Publisher

Massachusetts Institute of Technology

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Automatic verification of the timing properties of MMT automata

Abstract

Extracted data

Automatic verification of the timing properties of MMT automata

Abstract

Extracted data

Related items

Related items