共 8 条
- [1] CURRIE IF, 1984, P IFIP WORKING GROUP
- [2] HARTER PK, 1984, CUCS26994 U COL DEP
- [3] JOSEPH M, INFORMATION PROCESSI
- [5] ON THE STATIC EVALUATION OF DISTRIBUTED SYSTEMS PERFORMANCE [J]. COMPUTER JOURNAL, 1984, 27 (03) : 201 - 208
- [6] INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS [J]. COMMUNICATIONS OF THE ACM, 1973, 16 (08) : 491 - 502
- [7] MOITRA A, 1985, ANAL HARD REAL TIME
- [8] TOWARD A DISCIPLINE OF REAL-TIME PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (08) : 577 - 583