Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities. Reich, J., Zeller, M., & Schneider, D. In Lecture Notes in Computer Science, pages 254–268. Springer International Publishing, 2019. Pdf doi bibtex @InCollection{Reich2019,
author = {Jan Reich and Marc Zeller and Daniel Schneider},
title = {Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities},
booktitle = {Lecture Notes in Computer Science},
publisher = {Springer International Publishing},
year = {2019},
pages = {254--268},
doi = {10.1007/978-3-030-26601-1_18},
url_pdf = {https://www.researchgate.net/profile/Jan-Reich-2/publication/333633951_Automated_Evidence_Analysis_of_Safety_Arguments_using_Digital_Dependability_Identities/links/5cf7fd714585153c3db72941/Automated-Evidence-Analysis-of-Safety-Arguments-using-Digital-Dependability-Identities.pdf}
}
Downloads: 0
{"_id":"xi7EpvX5j7yd8gX6S","bibbaseid":"reich-zeller-schneider-automatedevidenceanalysisofsafetyargumentsusingdigitaldependabilityidentities-2019","authorIDs":["4auSBturzKjWrpnZv","68duPEX6JDBDvgovF","7JmvjAPLohePSX5tD","JNECHxAzSyjuLi5vx","PQ72qYrj2pFStcrRg","WjBGQ5ZQdqcxtNv5F","chBMRfttoN9jrZv7e","gAMuK3t9ZN8PukyE9","p3RLMwY7oHbYAQ5cm","qn3pwYW6irXQsX9ZF","yF58gGhp8Lh6cZW3p"],"author_short":["Reich, J.","Zeller, M.","Schneider, D."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Jan"],"propositions":[],"lastnames":["Reich"],"suffixes":[]},{"firstnames":["Marc"],"propositions":[],"lastnames":["Zeller"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"title":"Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities","booktitle":"Lecture Notes in Computer Science","publisher":"Springer International Publishing","year":"2019","pages":"254–268","doi":"10.1007/978-3-030-26601-1_18","url_pdf":"https://www.researchgate.net/profile/Jan-Reich-2/publication/333633951_Automated_Evidence_Analysis_of_Safety_Arguments_using_Digital_Dependability_Identities/links/5cf7fd714585153c3db72941/Automated-Evidence-Analysis-of-Safety-Arguments-using-Digital-Dependability-Identities.pdf","bibtex":"@InCollection{Reich2019,\n author = {Jan Reich and Marc Zeller and Daniel Schneider},\n title = {Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities},\n booktitle = {Lecture Notes in Computer Science},\n publisher = {Springer International Publishing},\n year = {2019},\n pages = {254--268},\n doi = {10.1007/978-3-030-26601-1_18},\n url_pdf\t= {https://www.researchgate.net/profile/Jan-Reich-2/publication/333633951_Automated_Evidence_Analysis_of_Safety_Arguments_using_Digital_Dependability_Identities/links/5cf7fd714585153c3db72941/Automated-Evidence-Analysis-of-Safety-Arguments-using-Digital-Dependability-Identities.pdf}\n}\n\n","author_short":["Reich, J.","Zeller, M.","Schneider, D."],"key":"Reich2019","id":"Reich2019","bibbaseid":"reich-zeller-schneider-automatedevidenceanalysisofsafetyargumentsusingdigitaldependabilityidentities-2019","role":"author","urls":{" pdf":"https://www.researchgate.net/profile/Jan-Reich-2/publication/333633951_Automated_Evidence_Analysis_of_Safety_Arguments_using_Digital_Dependability_Identities/links/5cf7fd714585153c3db72941/Automated-Evidence-Analysis-of-Safety-Arguments-using-Digital-Dependability-Identities.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://marc-zeller.github.io/pubs.bib","creationDate":"2020-06-15T06:23:10.036Z","downloads":0,"keywords":[],"search_terms":["automated","evidence","analysis","safety","arguments","using","digital","dependability","identities","reich","zeller","schneider"],"title":"Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities","year":2019,"dataSources":["pK52dtZgZPefu8Fxe"]}