DocumentCode
3127817
Title
Assume-guarantee supervisor for concurrent systems
Author
Zulkernine, Mohammad ; Seviora, Rudolph E.
Author_Institution
University of Waterloo
fYear
2000
fDate
23-27 April 2000
Firstpage
1552
Lastpage
1560
Keywords
Application software; Detectors; Fault detection; Life testing; Programming; Software quality; Software systems; Software testing; Software tools; Technological innovation;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location
San Francisco, CA, USA
ISSN
1530-2075
Print_ISBN
0-7695-0990-8
Type
conf
DOI
10.1109/IPDPS.2001.925140
Filename
925140
Link To Document