Counterexample generation for probabilistic model checking micro-scale cyber-physical systems

10.3390/mi12091059

Saved in:

書目詳細資料
Main Authors:	Liu, Yang, Ma, Yan, Yang, Yongsheng, Zheng, Tingting
其他作者:	DEPARTMENT OF COMPUTER SCIENCE
格式:	Article
出版:	MDPI 2022
主題:	Counterexample Genetic algorithm Micro-scale cyber-physical systems Probabilistic model checking
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/232973
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

成為第一個發表評論!

相似書籍