%0 Conference Paper %1 conf/iccps/RuchkinCILCSL22 %A Ruchkin, Ivan %A Cleaveland, Matthew %A Ivanov, Radoslav %A Lu, Pengyuan %A Carpenter, Taylor J. %A Sokolsky, Oleg %A Lee, Insup %B ICCPS %D 2022 %I IEEE %K dblp %P 1-12 %T Confidence Composition for Monitors of Verification Assumptions. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2022.html#RuchkinCILCSL22 %@ 978-1-6654-0967-4

@inproceedings{conf/iccps/RuchkinCILCSL22, added-at = {2023-11-12T00:00:00.000+0100}, author = {Ruchkin, Ivan and Cleaveland, Matthew and Ivanov, Radoslav and Lu, Pengyuan and Carpenter, Taylor J. and Sokolsky, Oleg and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/2860b6ddfcffebe419efe148632f6bc4d/dblp}, booktitle = {ICCPS}, crossref = {conf/iccps/2022}, ee = {https://doi.org/10.1109/ICCPS54341.2022.00007}, interhash = {f5ceb3ffa0fbcb4221d17afd14aaff50}, intrahash = {860b6ddfcffebe419efe148632f6bc4d}, isbn = {978-1-6654-0967-4}, keywords = {dblp}, pages = {1-12}, publisher = {IEEE}, timestamp = {2024-04-09T21:46:06.000+0200}, title = {Confidence Composition for Monitors of Verification Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2022.html#RuchkinCILCSL22}, year = 2022 }