Cited By
View all- Bonfanti SGargantini AMashkoor A(2018)A systematic literature review of the use of formal methods in medical software systemsJournal of Software: Evolution and Process10.1002/smr.194330:5Online publication date: 17-May-2018
- Andalam SAllen NMalik ARoop PTrew M(2017)A Novel Emulation Model of the Cardiac Conduction SystemACM Transactions on Embedded Computing Systems10.1145/312654216:5s(1-20)Online publication date: 27-Sep-2017