Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets.

Lalit Kumar Singh, Gopika Vinod, Anil Kumar Tripathi

Browse the full ISSRE paper archive.