Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

  1. Lookup NU author(s)
  2. Professor Brian Randell
  3. Professor Alexander Romanovsky
  4. Dr Robert Stroud
  5. Avelino Zorzo
Author(s)Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, Von Henke F
Publication type Article
JournalIEEE Transactions on Computers
Year2002
Volume51
Issue2
Pages164-179
ISSN (print)0018-9340
ISSN (electronic)
Full text is available for this publication:
PublisherIEEE Computer Society
URLhttp://dx.doi.org/10.1109/12.980006
DOI10.1109/12.980006
Actions    Link to this publication