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

J Bradley, N Davies

Research output: Working paperWorking paper and Preprints

Translated title of the contributionUsing Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design
Original languageEnglish
PublisherDepartment of Computer Science, University of Bristol
Number of pages16
Publication statusPublished - 1997

Bibliographical note

Other: CSTR-97-006

Cite this