A Refinement Calculus for the Development of Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhiqiang Chen' in GoogleThis author has not been identified. Look up 'Antonio Cau' in GoogleThis author has not been identified. Look up 'Hussein Zedan' in GoogleThis author has not been identified. It may be one of the following persons:

Xiaodong Liu

Look up 'Xiaodong Liu' in GoogleThis author has not been identified. Look up 'Hongji Yang' in Google

runs on WebDSL