Skip to main content

2 Result(s)

within J. M. Armstrong Remove this filter Computer Science Remove this filter

and

  1. No Access

    Article

    Ramifications of metastability in bit variables explored via Simpson’s 4-slot mechanism

    Protocol descriptions often fail to take metastability into account. Metastability, however, can undermine protocols which depend on shared bits. In this paper a series of increasingly realistic models of bits...

    S. E. Paynter, N. Henderson, J. M. Armstrong in Formal Aspects of Computing (2004)

  2. No Access

    Chapter and Conference Paper

    Safe Systems: Construction, Destruction, and Deconstruction

    Deconstructive Evaluation of Risk In Dependability Arguments and Safety Cases (DERIDASC) is a study focussed on the language used by safety engineers in their intellectual discourse. The DERIDASC project is in...

    J. M. Armstrong, S. E. Paynter in Current Issues in Safety-Critical Systems (2003)