%0 Conference Paper %1 conf/safecomp/OhNDWN22 %A Oh, Chanwook %A Naik, Nikhil %A Daw, Zamira %A Wang, Timothy E. %A Nuzzo, Pierluigi %B SAFECOMP %D 2022 %E Trapp, Mario %E Saglietti, Francesca %E Spisländer, Marc %E Bitsch, Friedemann %I Springer %K dblp %P 65-81 %T ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2022.html#OhNDWN22 %V 13414 %@ 978-3-031-14835-4

@inproceedings{conf/safecomp/OhNDWN22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Oh, Chanwook and Naik, Nikhil and Daw, Zamira and Wang, Timothy E. and Nuzzo, Pierluigi}, biburl = {https://www.bibsonomy.org/bibtex/2d1224c5016507328d4412dc61b15fddb/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2022}, editor = {Trapp, Mario and Saglietti, Francesca and Spisländer, Marc and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-031-14835-4_5}, interhash = {b3cc85ac9f06d065737a0eac23cecde9}, intrahash = {d1224c5016507328d4412dc61b15fddb}, isbn = {978-3-031-14835-4}, keywords = {dblp}, pages = {65-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:58.000+0200}, title = {ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2022.html#OhNDWN22}, volume = 13414, year = 2022 }