Modeling and verification of cyber-physical systems under uncertainty.
https://doi.org/10.1109/FSKD.2017.8392986
@inproceedings{DBLP:conf/icnc/GengPL17,
author = {Shengling Geng and
Jiao Peng and
Ping Li},
editor = {Yong Liu and
Liang Zhao and
Guoyong Cai and
Guoqing Xiao and
Kenli Li and
Lipo Wang},
title = {Modeling and verification of cyber-physical systems under uncertainty},
booktitle = {13th International Conference on Natural Computation, Fuzzy Systems
and Knowledge Discovery, {ICNC-FSKD} 2017, Guilin, China, July 29-31,
2017},
pages = {1491--1496},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FSKD.2017.8392986},
doi = {10.1109/FSKD.2017.8392986},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icnc/GengPL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签