Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.
https://doi.org/10.1109/ISSREW.2018.00-18
@inproceedings{DBLP:conf/issre/DingJJJJ18,
author = {Zuohua Ding and
Wenjie Jiang and
Mingyue Jiang and
Zhi Jin and
He Jiang},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Model Checking the Uncertainties in Software Systems Introduced by
Intelligent Components},
booktitle = {2018 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
pages = {130--131},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSREW.2018.00-18},
doi = {10.1109/ISSREW.2018.00-18},
timestamp = {Fri, 13 Mar 2020 13:39:09 +0100},
biburl = {https://dblp.org/rec/conf/issre/DingJJJJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签