DocumentCode :
312976
Title :
Analyzing Partially-Implemented Real-Time Systems
Author :
Avrunin, George S. ; Corbett, James C. ; Dillon, Laura K.
Author_Institution :
Department of Mathematics and Statistics, University of Massachusetts
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
228
Lastpage :
238
Keywords :
Real-time, concurrency, static analysis, Ada, temporal logic, hybrid systems, Graphical Interval Logic; Computer science; Concurrent computing; Electronic equipment testing; Error correction; Logic; Permission; Real time systems; Statistical analysis; System testing; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610259
Filename :
610259
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312976
بازگشت