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]
No references recorded for this publication.
No citations of this publication recorded.