Duration Calculus: A Formal Approach to Real-Time Systems
暂无分享,去创建一个
[1] Dang Van Hung,et al. Duration Calculus of Weakly Monotonic Time , 1998, FTRTFT.
[2] Michael R. Hansen,et al. Chopping a point , 1996 .
[3] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[4] Amir Pnueli,et al. An Adequate First Order Logic of Intervals , 1998 .
[5] Kirsten Mark Hansen,et al. Specifying and verifying requirements of real-time systems , 1991, SIGSOFT '91.
[6] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[7] Anders P. Ravn,et al. Specifying and Verifying Requirements of Real-Time Systems , 1993, IEEE Trans. Software Eng..
[8] A. Ravn,et al. A Probabilistic Duration Calculus , 1992 .
[9] Anders P. Ravn,et al. An Extended Duration Calculus for Hybrid Real-Time Systems , 1992, Hybrid Systems.
[10] Michael R. Hansen,et al. Finite Divergence , 1995, Theor. Comput. Sci..
[11] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[12] Zohar Manna,et al. A Hardware Semantics Based on Temporal Intervals , 1983, ICALP.
[13] Michael R. Hansen,et al. An Adequate First Order Interval Logic , 1997, COMPOS.