University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Author "Gomes, Arthur O"

DSpace Repository

Browsing Faculty of Science and Engineering by Author "Gomes, Arthur O"

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