| 书目名称 | Safe Comp 95 | | 副标题 | The 14th Internation | | 编辑 | Gerhard Rabe | | 视频video | | | 图书封面 |  | | 描述 | Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP ‘ | | 出版日期 | Conference proceedings 1995 | | 关键词 | Diversity; Standards; automation; computer; design; formal method; formal methods; modeling; reliability; req | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3054-3 | | isbn_softcover | 978-3-540-19962-5 | | isbn_ebook | 978-1-4471-3054-3 | | copyright | Springer-Verlag London 1995 |
The information of publication is updating
|
|
发表于 2025-3-21 16:04:28
