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

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Reliability Engineering and Analysis

Neutralin Scheduling Algorithms in Real Time

Abstract

Citations

1,337

Year

2011

PageRank

3.6 / 10

Relative influence (log-scaled)