Extending Object-Z for Specifying Real-Time Systems

Kasilingam Periyasamy, Vangalur S. Alagar. Extending Object-Z for Specifying Real-Time Systems. In TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA, USA. pages 163-175, IEEE Computer Society, 1997. [doi]

Authors

Kasilingam Periyasamy

This author has not been identified. Look up 'Kasilingam Periyasamy' in Google

Vangalur S. Alagar

This author has not been identified. Look up 'Vangalur S. Alagar' in Google