Model-Based Synthesis of Parallel Real-Time Systems

TitleModel-Based Synthesis of Parallel Real-Time Systems
Publication TypeThesis
Year of Publication1995
AuthorsBapty, T.
UniversityVanderbilt University