%0 Conference Paper %1 conf/simutools/ZhangHF19 %A Zhang, Yu %A Huang, Mengxing %A Feng, Wenlong %B SimuTools %D 2019 %E Song, Houbing %E Jiang, Dingde %I Springer %K dblp %P 168-179 %T An Semi-formal Co-verification Approach for High-Assurance CPS. %U http://dblp.uni-trier.de/db/conf/simutools/simutools2019.html#ZhangHF19 %V 295 %@ 978-3-030-32216-8

@inproceedings{conf/simutools/ZhangHF19, added-at = {2019-11-07T00:00:00.000+0100}, author = {Zhang, Yu and Huang, Mengxing and Feng, Wenlong}, biburl = {https://www.bibsonomy.org/bibtex/2c9b33413b5803b16aee06b106c46a7e3/dblp}, booktitle = {SimuTools}, crossref = {conf/simutools/2019}, editor = {Song, Houbing and Jiang, Dingde}, ee = {https://doi.org/10.1007/978-3-030-32216-8_16}, interhash = {f030d1dfc006ac29d1de9727331c1ed3}, intrahash = {c9b33413b5803b16aee06b106c46a7e3}, isbn = {978-3-030-32216-8}, keywords = {dblp}, pages = {168-179}, publisher = {Springer}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, timestamp = {2019-11-08T11:55:06.000+0100}, title = {An Semi-formal Co-verification Approach for High-Assurance CPS.}, url = {http://dblp.uni-trier.de/db/conf/simutools/simutools2019.html#ZhangHF19}, volume = 295, year = 2019 }