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

Software-Fehlertoleranz und -Zuverlässigkeit最新文献

筛选
英文 中文
Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme 相关计算机系统软件的制造和审计方法
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_24
U. Kammerer
{"title":"Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme","authors":"U. Kammerer","doi":"10.1007/978-3-642-69705-0_24","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_24","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"65 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":"123301818","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
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO 用于在工作计算机中使用开明数据结构
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_6
T. Risse, Mario Dal Cin, E. Dilger
{"title":"Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO","authors":"T. Risse, Mario Dal Cin, E. Dilger","doi":"10.1007/978-3-642-69705-0_6","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_6","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"1 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":"130999981","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
Votierung in PDV-Systemen mit diversitärer Redundanz 利用外部文档系统进行编号
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_13
Georg Pauthner
{"title":"Votierung in PDV-Systemen mit diversitärer Redundanz","authors":"Georg Pauthner","doi":"10.1007/978-3-642-69705-0_13","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_13","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"1 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":"133005249","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
Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem 打算将垃圾处理器的方案方案
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_12
Erik Maehle, K. Moritzen, Klaus Wirl
{"title":"Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem","authors":"Erik Maehle, K. Moritzen, Klaus Wirl","doi":"10.1007/978-3-642-69705-0_12","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_12","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"8 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":"123945176","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}
引用次数: 3
Error Recovery in eienr verteilten Systemarchitektur 四分之一的系统被分散
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_8
Edgar Nett, R. Kröger
{"title":"Error Recovery in eienr verteilten Systemarchitektur","authors":"Edgar Nett, R. Kröger","doi":"10.1007/978-3-642-69705-0_8","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_8","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"55 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":"125740027","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
Die Fehlertoleranzeigenschaften der Puffermaschine 缓冲器的功能
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_21
K. Heide
{"title":"Die Fehlertoleranzeigenschaften der Puffermaschine","authors":"K. Heide","doi":"10.1007/978-3-642-69705-0_21","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_21","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"53 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":"130391874","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
Beurteilung von Verfahren zur Tolerierung von Softwarefehlern 评估忍受软件错误的程序
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_25
R. Lauber, S. Zhou
{"title":"Beurteilung von Verfahren zur Tolerierung von Softwarefehlern","authors":"R. Lauber, S. Zhou","doi":"10.1007/978-3-642-69705-0_25","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_25","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"25 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":"124723244","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
Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung 确定且透明的程序
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_20
K. Großpietsch
{"title":"Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung","authors":"K. Großpietsch","doi":"10.1007/978-3-642-69705-0_20","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_20","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"8 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":"129072463","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
Software-Fehlertoleranz und -Zuverlässigkeit 软件故障和可靠性
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0
F. Belli, Silvia Pfleger, M. Seifert
{"title":"Software-Fehlertoleranz und -Zuverlässigkeit","authors":"F. Belli, Silvia Pfleger, M. Seifert","doi":"10.1007/978-3-642-69705-0","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"8 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":"132440770","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
Formale Methoden zur Erstellung robuster Software 正式的系统
Software-Fehlertoleranz und -Zuverlässigkeit Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-69705-0_1
E. Best
{"title":"Formale Methoden zur Erstellung robuster Software","authors":"E. Best","doi":"10.1007/978-3-642-69705-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-69705-0_1","url":null,"abstract":"","PeriodicalId":389604,"journal":{"name":"Software-Fehlertoleranz und -Zuverlässigkeit","volume":"57 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":"114865449","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
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信