Software Specification of Real-Time Systems

Joseph E. Urban. Software Specification of Real-Time Systems. In Lionel M. Ni, editor, Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China. pages 12-13, IEEE Computer Society, 1994.

Abstract

Abstract is missing.