共 50 条
- [42] Verification Method of Real-time System Based on Refinement Relation INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (01): : 179 - 188
- [43] Verification of Real-Time Systems using Linear Relation Analysis Formal Methods in System Design, 1997, 11 : 157 - 185
- [44] RELATION BETWEEN REAL-TIME AND IMAGINARY-TIME FORMALISMS OF FINITE-TEMPERATURE QUANTUM-FIELD THEORY PHYSICAL REVIEW D, 1993, 47 (06): : 2622 - 2624
- [49] Contrasting real-time dynamics with screening phenomena at finite temperature PHYSICAL REVIEW D, 1996, 53 (12): : 7270 - 7285