triceratops

Browsing Computer Science by Subject "Computer simulation"

TriCollege Digital Repository

Browsing Computer Science by Subject "Computer simulation"

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 ...

Search


Advanced Search

Browse

My Account