Author:
Pinisetty Srinivas,Allen Nathan,Pearce Hammond,Trew Mark,Singh Gaur Manoj,Roop Partha
Reference81 articles.
1. EBMC.http://www.cprover.org/ebmc. (accessed 20 December 2020).
2. MetaMath.http://us.metamath.org/. (accessed 20 December 2020).
3. PhysioNet.http://physionet.org/. (accessed 14 May 2018).
4. Uppaal DBM Library.http://people.cs.aau.dk/adavid/UDBM/. (accessed 14 May 2018).
5. Analysis of Safety-Critical Computer Failures in Medical Devices