Where academic tradition
meets the exciting future

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},
}

Edit publication