| 书目名称 | Dependable Computing for Critical Applications 4 | | 编辑 | Flaviu Cristian,Gerard Lann (Research Director),Te | | 视频video | | | 丛书名称 | Dependable Computing and Fault-Tolerant Systems | | 图书封面 |  | | 描述 | This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in February 1991 at Tucson (USA), and in September 1992 at Mondello (Italy), the conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system‘s reliability, availability, safety, security and performance. Because of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. The Program Committee selected 21 papers for presentation from a total of 95 submissions at a September meeting in Menlo Park, California. The resulting program represents a broad spectrum of interests, with papers from universities, corporations and government agencies in eight countries. The selection process was greatly facilitated by the diligent work | | 出版日期 | Conference proceedings 1995 | | 关键词 | Mathematica; computer; formal method; formal methods; logic; mathematical logic; safety | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-7091-9396-9 | | isbn_softcover | 978-3-7091-9398-3 | | isbn_ebook | 978-3-7091-9396-9Series ISSN 0932-5581 | | issn_series | 0932-5581 | | copyright | Springer-Verlag/Wien 1995 |
The information of publication is updating
|
|
发表于 2025-3-21 16:42:10
