A Refinement Calculus for the Development of Real-Time Systems

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang. A Refinement Calculus for the Development of Real-Time Systems. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 61, IEEE Computer Society, 1998. [doi]

Abstract

Abstract is missing.