Phased development of critical real-time systems in timed CSP

Homayoun Dayani-Fard, Andrew J. Malton. Phased development of critical real-time systems in timed CSP. In Dennis Bockus, Karen Bennet, W. Morven Gentleman, J. Howard Johnson, Evelyn Kidd, editors, Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada. pages 17, IBM, 1995. [doi]

Authors

Homayoun Dayani-Fard

This author has not been identified. Look up 'Homayoun Dayani-Fard' in Google

Andrew J. Malton

This author has not been identified. It may be one of the following persons: Look up 'Andrew J. Malton' in Google