Institutional Scholarship

Browsing by Subject "Machine theory"

Browsing by Subject "Machine theory"

Sort by: Order: Results:

  • Dworkin, Lili Anne (2011)
    When designing hardware or software, it is important to ensure that systems behave correctly. This is particularly crucial for life- or safety-critical systems, in which errors can be fatal. One approach to the formal ...



My Account