Coercing real-time refinement: a transmitter
暂无分享,去创建一个
[1] Carroll Morgan,et al. The specification statement , 1988, TOPL.
[2] Eric C. R. Hehner. Termination is Timing , 1989, MPC.
[3] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[4] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.
[5] Ian J. Hayes,et al. A Case Study in Timed Refinement: A Central Heater , 1991 .
[6] Ian J. Hayes,et al. A Case-Study in Timed Refinement: A Mine Pump , 1992, IEEE Trans. Software Eng..
[7] Brendan P. Mahony. The Specification and Refinement of Timed Processes , 1992 .
[8] Carroll Morgan,et al. Programming from specifications (2nd ed.) , 1994 .
[9] Sang Lyul Min,et al. An Accurate Worst Case Timing Analysis for RISC Processors , 1995, IEEE Trans. Software Eng..
[10] Colin J. Fidge,et al. Integrating Real-Time Scheduling Theory and Program Refinement , 1996, FME.
[11] Colin J. Fidge,et al. A real-time refinement calculus that changes only time , 1996 .