A Method for Verifying Properties of Modechart Specifications

Farnam Jahanian, Douglas A. Stuart. A Method for Verifying Properties of Modechart Specifications. In Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS 88), December 6-8, 1988, Huntsville, Alabama, USA. pages 12-21, IEEE Computer Society, 1988.

Abstract

Abstract is missing.