Dependable Computing for Critical Applications 3: Dependable Computing and Fault-Tolerant Systems, cartea 8
Editat de Carl E. Landwehr, Brian Randell, Luca Simoncinien Limba Engleză Paperback – 20 noi 2013
Preț: 327.36 lei
Preț vechi: 409.20 lei
-20%
Puncte Express: 491
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783709140116
ISBN-10: 3709140110
Pagini: 400
Ilustrații: XII, 384 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
ISBN-10: 3709140110
Pagini: 400
Ilustrații: XII, 384 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Functional Testing.- On Functional Statistical Testing Designed from Software Behavior Models.- Functional Test Case Generation for Real-Time Systems.- Specification and Verification of Fault Tolerance.- Design for Dependability.- Tracing Fault Tolerance.- Dependability and Performance.- Evaluation of Fault-Tolerant Software: A Performability Modeling Approach.- On the Transient Analysis of Stiff Markov Chains.- Application of Formal Methods.- Formal Techniques for Synchronized Fault-Tolerant Systems.- Compiler Correctness and Input/Output.- On Line Error Detection.- Control Flow Checking in Object-Based Distributed Systems.- Safety-Critical Industrial Systems.- A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systems.- Dependable Computing for Railway Control Systems.- Experimental Evaluation.- A Hybrid Monitor Assisted Fault Injection Environment.- Space/Time Overhead Analysis and Experiments with Techniques for Fault Tolerance.- Protocols for Dependability.- Primary-Backup Protocols: Lower Bounds and Optimal Implementations.- A Linguistic Framework for Dynamic Composition of Dependability Protocols.- Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems.- Author Index.