David Parker 人物
相关论文查看全部 (8)
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011Lecture notes in computer science引用 2322
PRISM: Probabilistic Symbolic Model Checker
2002Lecture notes in computer science引用 687
Stochastic Model Checking
2007Lecture notes in computer science引用 590
PRISM: A Tool for Automatic Verification of Probabilistic Systems
2006Lecture notes in computer science引用 547
相关公司查看全部 (2)
University of BirminghamUNIVERSITY
University of OxfordUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据