| 書(shū)目名稱(chēng) | Directions in Safety-Critical Systems |
| 副標(biāo)題 | Proceedings of the F |
| 編輯 | Felix Redmill (Redmill Consultancy),Tom Anderson |
| 視頻video | http://file.papertrans.cn/281/280692/280692.mp4 |
| 圖書(shū)封面 |  |
| 描述 | 0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - .Experience from Around Europe. - brings together information on developments in safety-critical systems outside the UK. The second - .Current. .Research. - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - .Achieving and Evaluating Safety. - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit |
| 出版日期 | Conference proceedings 1993 |
| 關(guān)鍵詞 | classification; computer; computer systems; development; formal method; functional programming; informatio |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-2037-7 |
| isbn_softcover | 978-3-540-19817-8 |
| isbn_ebook | 978-1-4471-2037-7 |
| copyright | Springer-Verlag London Limited 1993 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 22:53
發(fā)表于 2025-3-21 18:57:39
