Back to Results
First PageMeta Content
Probability and statistics / Model checking / PRISM model checker / Markov chain / Markov decision process / Construction and Analysis of Distributed Processes / Statistics / Markov processes / Model checkers


Verification of Probabilistic
 Real-time Systems
 
 Dave Parker
 
 

Add to Reading List

Document Date: 2013-08-29 08:21:43

Open Document

File Size: 1,50 MB

Share Result on Facebook

Facility

University of Birmingham ETR'13 / /

IndustryTerm

computing / bank / /

Organization

University of Birmingham ETR'13 / /

Person

Dave Parker / /

Technology

Ethernet / IPv4 / IEEE 1394 / Bluetooth / /

URL

http /

SocialTag