| 书目名称 | Practical Elements of Safety | | 副标题 | Proceedings of the T | | 编辑 | Felix Redmill,Tom Anderson | | 视频video | http://file.papertrans.cn/753/752962/752962.mp4 | | 图书封面 |  | | 描述 | .Practical Elements of Safety. contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held at Birmingham, UK in February 2004. The papers included in this volume focus on the themes of the identification and analysis of risk - using the UK railway as an industry example; safety-integrity levels; industrial use of formal methods; as well as expanding on the development, assessment and changing face of current safety issues. All the papers are linked within the broad context of safety-critical systems actvities and offer a practical perspective. Papers contain industrial experience, as well as academic research, and are presented under the headings of: Mature and Practical Formality, Managing Risk in the Railway Industry, Safety Integrity Levels, the Human Side of Risk, Assessment and the Derivation of Evidence, and Safety Argument and the Law. | | 出版日期 | Conference proceedings 2004 | | 关键词 | Safety-critical systems; design; development; formal method; formal methods; operating system; reliability | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-85729-408-1 | | isbn_softcover | 978-1-85233-800-8 | | isbn_ebook | 978-0-85729-408-1 | | copyright | Springer-Verlag London 2004 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-16 04:09
发表于 2025-3-21 17:06:24
