A Refinement Calculus for the Development of Real-Time Systems.

Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang

Browse the full APSEC paper archive.