Toggle Main Menu Toggle Search

Open Access padlockePrints

Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Emeritus Professor Alexander RomanovskyORCiD, Dr Elena Troubitsyna

Downloads


Abstract

This volume contains the proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005) held in conjunction with the 13th International Symposium of Formal Methods 2005 (Newcastle upon Tyne, UK, July 19, 2005). The workshop is organised by the partners of FP6 IST RODIN Rigorous Open Development Environment for Complex Systems


Publication metadata

Author(s): Butler M, Jones C, Romanovsky A, Troubitsyna E

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 155

Print publication date: 01/06/2005

Source Publication Date: June 2005

Report Number: 915

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/915.pdf


Share