A GRAPH-THEORETIC APPROACH FOR TIMING ANALYSIS AND ITS IMPLEMENTATION

[1] BLEDSOE WW, 1980, LECTURE NOTES COMPUT, P70

[2] Chang C. L., 1973, SYMBOLIC LOGICAL MEC, P62

[3] SPECIFYING SOFTWARE REQUIREMENTS FOR COMPLEX-SYSTEMS - NEW TECHNIQUES AND THEIR APPLICATION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (01) : 2 - 13

[4] SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 890 - 904

[5] Lawler E.L., 1976, COMBINATORIAL OPTIMI

[6] MOK AK, 1985, 9TH P IEEE COMPSAC, P174

[7] SAHNI S, 1985, CONCEPTS DISCRETE MA, P30

[8] PRACTICAL DECISION PROCEDURE FOR ARITHMETIC WITH FUNCTION SYMBOLS [J]. JOURNAL OF THE ACM, 1979, 26 (02) : 351 - 360

[9] [No title captured]

[10] [No title captured]

[1] BLEDSOE WW, 1980, LECTURE NOTES COMPUT, P70

[2] Chang C. L., 1973, SYMBOLIC LOGICAL MEC, P62

[3] SPECIFYING SOFTWARE REQUIREMENTS FOR COMPLEX-SYSTEMS - NEW TECHNIQUES AND THEIR APPLICATION [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (01) : 2 - 13

[4] SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 890 - 904

[5] Lawler E.L., 1976, COMBINATORIAL OPTIMI

[6] MOK AK, 1985, 9TH P IEEE COMPSAC, P174

[7] SAHNI S, 1985, CONCEPTS DISCRETE MA, P30

[8] PRACTICAL DECISION PROCEDURE FOR ARITHMETIC WITH FUNCTION SYMBOLS [J]. JOURNAL OF THE ACM, 1979, 26 (02) : 351 - 360

[9] [No title captured]

[10] [No title captured]