| 書目名稱 | Formal Techniques in Real-Time and Fault-Tolerant Systems |
| 編輯 | Jan Vytopil |
| 視頻video | http://file.papertrans.cn/346/345943/345943.mp4 |
| 叢書名稱 | The Springer International Series in Engineering and Computer Science |
| 圖書封面 |  |
| 描述 | .Formal Techniques in Real-Time and Fault-Tolerant Systems.focuses on the state of the art in formal specification, developmentand verification of fault-tolerant computing systems. The term`fault-tolerance‘ refers to a system having properties which enable itto deliver its specified function despite (certain) faults of itssubsystem. Fault-tolerance is achieved by adding extra hardware and/orsoftware which corrects the effects of faults. In this sense, a systemcan be called fault-tolerant if it can be proved that the resulting(extended) system under some model of reliability meets thereliability requirements..The main theme of .Formal Techniques in Real-Time andFault-Tolerant. .Systems. can be formulated as follows: how dothe specification, development and verification of conventional andfault-tolerant systems differ? How do the notations, methodology andtools used in design and development of fault-tolerant andconventional systems differ?..Formal Techniques in Real-Time and Fault-Tolerant Systems. isdivided into two parts. The chapters in Part One set the stage forwhat follows by defining the basic notions and practices of the fieldof design and specification of fault-tolerant syst |
| 出版日期 | Book 1993 |
| 關(guān)鍵詞 | Hardware; Text; development; formal method; formal specification; modeling; verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-3220-0 |
| isbn_softcover | 978-1-4613-6414-6 |
| isbn_ebook | 978-1-4615-3220-0Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1993 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 14:53
發(fā)表于 2025-3-21 17:52:09
