University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Subject "haemodialysis machine"

DSpace Repository

Browsing Faculty of Science and Engineering by Subject "haemodialysis machine"

Sort by: Order: Results:

  • Gomes, Arthur O; Butterfield, Andrew (Springer, 2016)
    We present a formal model of aspects of the haemodialysis machine case study using the Circus speci cation notation. We focus on building a model in which each of the software requirements (R-1{36) are represented by a ...

Search ULIR


Browse

My Account

Statistics