Institutions | About Us | Help | Gaeilge
rian logo

Go Back
Modelling the Haemodialysis Machine with?Circus
Keyword(s): Next Generation Medical Devices; Formal Methods; MEDICAL DEVICE SOFTWARE; Systems Modelling
Publication Date:
Type: Conference item
Peer-Reviewed: Yes
Language(s): English
Institution: Trinity College Dublin
Citation(s): ANDREW BUTTERFIELD, 'Modelling the Haemodialysis Machine with?Circus', Springer International Publishing, 2016, 9675;
Publisher(s): Springer International Publishing
Alternative Title(s): LNCS -Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016
First Indexed: 2016-09-20 05:57:33 Last Updated: 2020-10-30 07:57:39