| dc.contributor.author | BUTTERFIELD, ANDREW | |
| dc.contributor.editor | Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, and Miklos Biro | en |
| dc.date.accessioned | 2016-09-19T13:42:10Z | |
| dc.date.available | 2016-09-19T13:42:10Z | |
| dc.date.created | 23-27 May 2016 | en |
| dc.date.issued | 2016 | en |
| dc.date.submitted | 2016 | en |
| dc.identifier.citation | ANDREW BUTTERFIELD, 'Modelling the Haemodialysis Machine with Circus', Springer International Publishing, 2016, 9675; | en |
| dc.identifier.other | Y | |
| dc.format.extent | 409 | en |
| dc.format.extent | 424 | en |
| dc.language.iso | en | en |
| dc.publisher | Springer International Publishing | en |
| dc.relation.ispartofseries | 9675; | |
| dc.rights | Y | en |
| dc.title | Modelling the Haemodialysis Machine with Circus | en |
| dc.title.alternative | LNCS | en |
| dc.title.alternative | Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016 | en |
| dc.type | Conference Paper | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
| dc.identifier.rssinternalid | 124477 | |
| dc.identifier.doi | 10.1007/978-3-319-33600-8_34 | |
| dc.rights.ecaccessrights | openAccess | |
| dc.subject.TCDTheme | Next Generation Medical Devices | en |
| dc.subject.TCDTag | Formal Methods | en |
| dc.subject.TCDTag | MEDICAL DEVICE SOFTWARE | en |
| dc.subject.TCDTag | Systems Modelling | en |
| dc.identifier.rssuri | http://dx.doi.org/10.1007/978-3-319-33600-8_34 | |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | |
| dc.contributor.sponsor | CNPq Science without Border (Brazil) | en |
| dc.contributor.sponsorGrantNumber | 201857/2014-6 | en |
| dc.identifier.uri | http://hdl.handle.net/2262/77373 | |
