Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra. A Reliability Prediction Method for Abstract State Machines. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 336-340, Springer, 2012. [doi]
Abstract is missing.