Dependable Computing-Edcc-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : Proceedings (Lecture Notes in Comp)
暫譯: 可靠計算 - EDCC-1：第一屆歐洲可靠計算會議，德國柏林，1994年10月4-6日：會議論文集（計算機講義筆記）
European Dependable Computing Conference
- 出版商: Springer
- 售價: $4,600
- 貴賓價: 9.5 折 $4,370
- 語言: 英文
- 頁數: 625
- 裝訂: Paperback
- ISBN: 3540584269
- ISBN-13: 9783540584261
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
商品描述(中文翻譯)
本書呈現了第一屆歐洲可靠計算會議（EDCC-1）的會議紀錄，該會議於1994年10月在德國柏林舉行。EDCC是兩個先前歐洲可靠計算活動的合併。
本卷包含34篇經過審核的完整論文，這些論文是從106篇投稿中選出的。這些貢獻涵蓋了可靠計算的所有當前方面，並反映了可靠系統研究和先進應用的最新技術；所涵蓋的主題包括硬體和軟體可靠性、安全關鍵和安全系統、容錯和檢測、驗證和確認、形式方法、硬體和軟體測試，以及並行和分散式系統。
