发布求助
文献互助 智能选刊 最新文献

Computer Safety, Reliability, and Security最新文献

筛选
英文 中文
Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware 现成的复杂计算硬件的保证论证元素
Computer Safety, Reliability, and Security Pub Date : 2020-07-02 DOI: 10.1007/978-3-030-54549-9_17
Rob Ashmore, J. Sharp
{"title":"Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware","authors":"Rob Ashmore, J. Sharp","doi":"10.1007/978-3-030-54549-9_17","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_17","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123479806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Risk Assessment for Airworthiness Security 适航安全风险评估
Computer Safety, Reliability, and Security Pub Date : 2012-09-25 DOI: 10.1007/978-3-642-33678-2_3
Silvia Gil Casals, P. Owezarski, Gilles Descargues
{"title":"Risk Assessment for Airworthiness Security","authors":"Silvia Gil Casals, P. Owezarski, Gilles Descargues","doi":"10.1007/978-3-642-33678-2_3","DOIUrl":"https://doi.org/10.1007/978-3-642-33678-2_3","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"167 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114371051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings 计算机安全，可靠性和安全性:SAFECOMP 2019研讨会，ASSURE, DECSoS, SASSUR, STRIVE和WAISE，芬兰图尔库，2019年9月10日，Proceedings
Computer Safety, Reliability, and Security Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-26250-1
A. Romanovsky, E. Troubitsyna, Ilir Gashi, E. Schoitsch, F. Bitsch
{"title":"Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings","authors":"A. Romanovsky, E. Troubitsyna, Ilir Gashi, E. Schoitsch, F. Bitsch","doi":"10.1007/978-3-030-26250-1","DOIUrl":"https://doi.org/10.1007/978-3-030-26250-1","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123986086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings 计算机安全，可靠性和安全性:第41届国际会议，SAFECOMP 2022，德国慕尼黑，2022年9月6日至9日，论文集
Computer Safety, Reliability, and Security Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-14835-4
{"title":"Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings","authors":"","doi":"10.1007/978-3-031-14835-4","DOIUrl":"https://doi.org/10.1007/978-3-031-14835-4","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114723262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings 计算机安全，可靠性和安全性:第39届国际会议，SAFECOMP 2020，里斯本，葡萄牙，2020年9月16-18日，论文集
Computer Safety, Reliability, and Security Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-54549-9
A. Casimiro, F. Ortmeier, F. Bitsch, Pedro M Ferreira
{"title":"Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings","authors":"A. Casimiro, F. Ortmeier, F. Bitsch, Pedro M Ferreira","doi":"10.1007/978-3-030-54549-9","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130778555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings 计算机安全，可靠性和安全性:第40届国际会议，SAFECOMP 2021，约克，英国，2021年9月8-10日，论文集
Computer Safety, Reliability, and Security Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-83903-1
{"title":"Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings","authors":"","doi":"10.1007/978-3-030-83903-1","DOIUrl":"https://doi.org/10.1007/978-3-030-83903-1","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"168 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114512498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings 计算机安全，可靠性和安全性:第38届国际会议，SAFECOMP 2019，图尔库，芬兰，2019年9月11-13日，论文集
Computer Safety, Reliability, and Security Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-26601-1
Satoshi Otsuka, Kazuyoshi Serizawa, R. Tsuchiya, Fumio Narisawa
{"title":"Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings","authors":"Satoshi Otsuka, Kazuyoshi Serizawa, R. Tsuchiya, Fumio Narisawa","doi":"10.1007/978-3-030-26601-1","DOIUrl":"https://doi.org/10.1007/978-3-030-26601-1","url":null,"abstract":"","PeriodicalId":247256,"journal":{"name":"Computer Safety, Reliability, and Security","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128389051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书