You are here: TUCS > PUBLICATIONS > Publication Search > Refining for Safety
Refining for Safety
Elena Troubitsyna, Refining for Safety. TUCS Technical Reports 237, Turku Centre for Computer Science, 1999.
Abstract:
http://www.tucs.fi/Publications/techreports/TR237.php
Files:
Full publication in PDF-format
BibTeX entry:
@BOOKLET{tTroubitsyna99a,
title = {Refining for Safety},
author = {Troubitsyna, Elena},
number = {237},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1999},
keywords = {Probability, system safety, fault tolerance, action system, data refinement},
}