Back to Results
First PageMeta Content
Stochastic process / Independence / Statistics / Statistical models / Probability theory


Document Date: 2010-12-18 00:25:50

Open Document

File Size: 271,04 KB

Share Result on Facebook

Company

Lg / Probabilistic Systems / CONCUR / /

Currency

pence / /

/

Facility

University of California / /

IndustryTerm

bilistic systems / transition systems / deadlock-free discrete systems / veri cation algorithms / nondeterministic systems / /

Organization

University of California / Berkeley / U.S. Securities and Exchange Commission / National Science Foundation / /

Person

Q . However / Luca de Alfaro Thomas / /

Position

same scheduler / scheduler / randomized scheduler / compositional trace-based model for proba- bilistic systems / Private / environment scheduler / deterministic scheduler / forward in the analysis / single scheduler / module scheduler / /

Technology

veri cation algorithms / /

SocialTag