Safety and Hazard Analysis in Concurrent Systems

Shrisha Rao, Chen Zhang. Safety and Hazard Analysis in Concurrent Systems. In S. Q. Zheng, editor, International Conference on Parallel and Distributed Computing Systems, PDCS 2005, November 14-16, 2005, Phoenix, AZ, USA. pages 391-397, IASTED/ACTA Press, 2005.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.