Hany H. Ammar, T. Nikzadeh, Joanne Bechta Dugan. A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets. In 4th IEEE International Software Metrics Symposium (METRICS 1997), November 5-7, 1997, Albuquerque, NM, USA. pages 108, IEEE Computer Society, 1997. [doi]
Abstract is missing.