Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/22195
Type: Article
Title: Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
Author(s): Jie Xu
B. Randell
A Romanovsky
Stroud, R.J.
Avelino Francisco Zorzo
Ercument Canver
von Henke, F.
In: I.E.E.E. Transactions on Computers (Print)
Issue Date: 2002
Volume: 51
First page: 164
Last page: 179
Keywords: Fault Tolerance
Coordinated Atomic Actions
Safety-critical systems
Dependability
URI: https://hdl.handle.net/10923/22195
DOI: DOI:10.1109/12.980006
ISSN: 0018-9340
Appears in Collections:Artigo de Periódico



All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.