Author:
Camacho Azahara,Merayo Mercedes G.,Núñez Manuel
Publisher
Springer International Publishing
Reference21 articles.
1. Alemzadeh, H., Iyer, R.K., Kalbarczyk, Z., Raman, J.: Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11(4), 14–26 (2013)
2. Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)
3. Allen, B.: The Eleven Most Implanted Medical Devices in America.
http://247wallst.com/healthcare-economy/2011/07/18/the-eleven-most-implanted-medical-devices-in-america/
. (2011)
4. Andrés, C., Merayo, M.G., Núñez, M.: Formal passive testing of timed systems: theory and tools. Softw Test. Verification Reliab. 22(6), 365–405 (2012)
5. Bayse, E., Cavalli, A., Núñez, M,. Zadi, F.: A passive testing approach based on invariants: application to the WAP. Comput. Netw. 48(2), 247–266 (2005)