Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design

J Bradley, N Davies

Research output: Working paper

Translated title of the contribution	Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design
Original language	English
Publisher	Department of Computer Science, University of Bristol
Number of pages	16
Publication status	Published - 1997

Other: CSTR-97-006

Access to Document

@techreport{aca73121202d423fa6c0af184faa205c,

title = "Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design",

author = "J Bradley and N Davies",

note = "Other: CSTR-97-006",

year = "1997",

language = "English",

publisher = "Department of Computer Science, University of Bristol",

type = "WorkingPaper",

institution = "Department of Computer Science, University of Bristol",

}