A tool-set for temporal analysis in a design environment for concurrent systems.

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.

Creator: 

Karam, Gerald M.

Date: 

1987

Subject: 

Computer Aided Design
Caede (Computer Programs) System Design

Language: 

English

Publisher: 

Carleton University

Identifier: 

Proquest Record
Library Catalogue Record
https://doi.org/10.22215/etd/1987-01249

Thesis Degree Name: 

Doctor of Philosophy: 
Ph.D.

Thesis Degree Level: 

Doctoral

Thesis Degree Discipline: 

Engineering, Electrical

Parent Collection: 

Theses and Dissertations

Items in CURVE are protected by copyright, with all rights reserved, unless otherwise indicated. They are made available with permission from the author(s).