Optimal concurrent testing for sequential machines based on abstraction and monitors with memory

Thesis

Open access

Ching-Feng Wang

Master of Science (M.S.), Drexel University

1994

DOI:

https://doi.org/10.17918/00008085

Files and links (1)

pdf

Wang_Ching-Feng_199431.90 MBDownload View

9 File views/ downloads

11 Record Views

Title: Optimal concurrent testing for sequential machines based on abstraction and monitors with memory
Creators: Ching-Feng Wang
Awarding Institution: Drexel University
Degree Awarded: Master of Science (M.S.)
Publisher: Drexel University; Philadelphia, Pennsylvania
Number of pages: vi, 38 pages
Resource Type: Thesis
Language: English
Academic Unit: Drexel University
Other Identifier: 991021889001704721