• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Development of Mechanisms for Tolerating Transient Faults

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook, Formal Development of Mechanisms for Tolerating Transient Faults. In: Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science 4157, 189–209, Springer Berlin / Heidelberg, 2006.

BibTeX entry:

@INBOOK{cIlTrLaSn06a,
  title = {Formal Development of Mechanisms for Tolerating Transient Faults},
  booktitle = {Rigorous Development of Complex Fault-Tolerant Systems},
  author = {Ilic, Dubravka and Troubitsyna, Elena and Laibinis, Linas and Snook, Colin},
  volume = {4157},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  pages = {189–209},
  year = {2006},
  keywords = {transient faults, control systems, FMS, B Method, refinement},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication