Fingerprint
Dive into the research topics of 'Statistical model checking of cyber-physical systems control software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Statistical model checking of cyber-physical systems control software
Li Jun Shan, Xing She Zhou, Yu Ying Wang, Lei Zhao, Li Jing Wan, Lei Qiao, Jian Xin Cehn
Research output: Contribution to journal › Article › peer-review