Fingerprint
Dive into the research topics of 'Model Checking of Systems with Unreliable Machines Using PRISM'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model Checking of Systems with Unreliable Machines Using PRISM
Xinze Huang, Zhenyuan Ding, Zijian Bi, Yili Wang, Kai Zheng, Xin Huang
Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review