PRISM 4.0: Verification Of Probabilistic Real-Time Systems

·2011·DOI

Engineering and Technology

Communication and Signal Processing

Reliability Engineering and Analysis

Scheduling Algorithms in Real Time

Abstract

Citations

1,337

Year

2011

PageRank

3.6 / 10

Relative influence (log-scaled)