论文信息 - Duration Calculi: An Overview (Invited Paper) - 字舞流文

Duration Calculi: An Overview (Invited Paper)

[1] Anders P. Ravn,et al. Specifying and Verifying Requirements of Real-Time Systems , 1993, IEEE Trans. Software Eng..

[2] Jifeng He,et al. Time interval semantics and implementation of a real-time programming language , 1992, Fourth Euromicro workshop on Real-Time Systems.

[3] Anders P. Ravn,et al. Duration Specifications for Shared Processors , 1992, FTRTFT.

[4] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..

[5] Ben C. Moszkowski,et al. A Temporal Logic for Multi-Level Reasoning About Hardware, , 1982 .