%0 Conference Paper %1 conf/qrs/ShaoCZGDL21 %A Shao, Qi %A Chen, Weiwei %A Zeng, Fuping %A Gao, Zhijie %A Duan, Zhiyu %A Lin, Ouya %B QRS Companion %D 2021 %I IEEE %K dblp %P 152-160 %T Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2021c.html#ShaoCZGDL21 %@ 978-1-6654-7836-6

@inproceedings{conf/qrs/ShaoCZGDL21, added-at = {2022-04-12T00:00:00.000+0200}, author = {Shao, Qi and Chen, Weiwei and Zeng, Fuping and Gao, Zhijie and Duan, Zhiyu and Lin, Ouya}, biburl = {https://www.bibsonomy.org/bibtex/2b575966e104cf8ece0d1289ac9f743c8/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2021c}, ee = {https://doi.org/10.1109/QRS-C55045.2021.00031}, interhash = {c0725c33255dc89331227c438ca8a8fe}, intrahash = {b575966e104cf8ece0d1289ac9f743c8}, isbn = {978-1-6654-7836-6}, keywords = {dblp}, pages = {152-160}, publisher = {IEEE}, timestamp = {2024-04-09T13:27:43.000+0200}, title = {Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2021c.html#ShaoCZGDL21}, year = 2021 }