Modelling the Haemodialysis Machine with Circus
File Type:
PDFItem Type:
Conference PaperDate:
2016Author:
Access:
openAccessCitation:
ANDREW BUTTERFIELD, 'Modelling the Haemodialysis Machine with Circus', Springer International Publishing, 2016, 9675;
Sponsor
Grant Number
CNPq Science without Border (Brazil)
201857/2014-6
Author's Homepage:
http://people.tcd.ie/butrfeld
Author: BUTTERFIELD, ANDREW
Sponsor:
CNPq Science without Border (Brazil)Other Titles:
LNCSAbstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016
Publisher:
Springer International PublishingType of material:
Conference PaperCollections
Series/Report no:
9675;Availability:
Full text availableSubject (TCD):
Next Generation Medical Devices , Formal Methods , MEDICAL DEVICE SOFTWARE , Systems ModellingDOI:
10.1007/978-3-319-33600-8_34Metadata
Show full item recordLicences: