DMCA

PRISM: Probabilistic Model Checking for Performance and Reliability Analysis

by Marta Kwiatkowska , Gethin Norman , David Parker
Venue:ACM SIGMETRICS Performance Evaluation Review
Citations:49 - 1 self