%0 Conference Paper %1 conf/dac/FuWGZRS18 %A Fu, Zhicheng %A Wang, Zhao %A Guo, Chunhui %A Zhang, Zhenyu %A Ren, Shangping %A Sha, Lui %B DAC %D 2018 %I ACM %K dblp %P 143:1-143:6 %T IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. %U http://dblp.uni-trier.de/db/conf/dac/dac2018.html#FuWGZRS18 %@ 978-1-5386-4114-9

@inproceedings{conf/dac/FuWGZRS18, added-at = {2020-04-15T00:00:00.000+0200}, author = {Fu, Zhicheng and Wang, Zhao and Guo, Chunhui and Zhang, Zhenyu and Ren, Shangping and Sha, Lui}, biburl = {https://www.bibsonomy.org/bibtex/21de5cb5d211f625b936267535c6f409d/dblp}, booktitle = {DAC}, crossref = {conf/dac/2018}, ee = {https://doi.org/10.1109/DAC.2018.8465815}, interhash = {5ac133ef8ab00da2fe87ffa07ef1afd4}, intrahash = {1de5cb5d211f625b936267535c6f409d}, isbn = {978-1-5386-4114-9}, keywords = {dblp}, pages = {143:1-143:6}, publisher = {ACM}, timestamp = {2020-04-16T11:39:06.000+0200}, title = {IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2018.html#FuWGZRS18}, year = 2018 }