Titlebook: Methods, Models and Tools for Fault Tolerance; Michael Butler,Cliff Jones,Elena Troubitsyna Book 2009 Springer-Verlag Berlin Heidelberg 20

漫步

Recording Process Documentation in the Presence of Failurescumentation and would cause disastrous consequences. This paper describes our solution, F_PReP, a protocol for recording process documentation in the presence of failures. A complete formalisation of the protocol using Abstract State Machines is also presented.

無(wú)目標(biāo)

支架

https://doi.org/10.1007/978-3-642-00867-2complexity; design; formal method; modeling; system development; validation; verification

假

browbeat

Methods, Models and Tools for Fault Tolerance978-3-642-00867-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

squander

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/632439.jpg