Back to Results
First PageMeta Content
Markov chain / Continuous-time Markov process / Stochastic process / Interpretation / Markov decision process / Linear temporal logic / Statistics / Markov processes / Model checking


Document Date: 2007-07-13 07:18:18

Open Document

File Size: 314,54 KB

Share Result on Facebook

City

Dubrovnik / /

Company

International Journal / D. Van Nostrand Company / John Wiley and Sons / Real-Time Systems / IEEE CS Press / CONCUR / /

Country

Croatia / /

Currency

USD / /

/

IndustryTerm

anonymity protocols / model checking algorithm / wireless communication protocols / precomputation algorithms / software using methods / fault-tolerant systems / power management / system/software / software tools / coordination algorithms / wireless communication protocol / communication protocol / computing / real-world protocols / multimedia protocol / reward operator / labelled state-transition systems / model checking algorithms / software engineering process / energy usage / /

OperatingSystem

Unix / Linux / Microsoft Windows / Macintosh / /

Organization

Oxford University / /

Person

Thiagarajan / Palamidessi / K. Sanwal / V / Proc / E. Clarke / V / Verification / Modelling / Priami / /

Position

editor / ABSTRACT General / forward / /

ProgrammingLanguage

Java / C / /

PublishedMedium

Journal of the ACM / Formal Aspects of Computing / Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / /

Technology

coordination algorithms / Bioinformatics / wireless communication protocols / CRM / Java / frequency hopping / Unix / Linux / multimedia protocol / wireless communication protocol / communication protocol / microwave / simulation / PCTL model checking algorithm / operating systems / anonymity protocols / Bluetooth / model checking algorithms / IEEE 1394 / precomputation algorithms / /

URL

www.prismmodelchecker.org / /

SocialTag