Formal-language theoretic techniques to solve design and fault management problems in computer network protocols and other discrete-event systems
By: Samir G. Kelekar
Published: 1994
Language: eng
Number of pages: 142
Notes: Department: Electrical Engineering

Thesis (Ph. D.)--Columbia University, 1994.

Includes bibliographical references.