Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems

Jonathan S. Ostroff, W. Murray Wonham. Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. In Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS 87), December 1-3, 1987, San Jose, Califorinia, USA. pages 124-132, IEEE Computer Society, 1987.

Abstract

Abstract is missing.