Title :
Analytical Study of Quantitative Timing Properties of Software
Author_Institution :
Tallinn Technical University, Estonia
Keywords :
Calculus; Control systems; Control theory; Discrete event systems; Electronic mail; Logic; Mathematical model; Petri nets; Real time systems; Timing;
Conference_Titel :
Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
Conference_Location :
Oulu, Finland
Print_ISBN :
0-8186-4110-X
DOI :
10.1109/EMWRT.1993.639097