| 書目名稱 | Practical Elements of Safety | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-19 02:56
發(fā)表于 2025-3-21 17:06:24
