Satoshi Yamane. Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software. In Laurence Tianruo Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig, editors, Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings. Volume 3824 of Lecture Notes in Computer Science, pages 381-394, Springer, 2005. [doi]
Abstract is missing.