Funder
Fundação de Amparo a Pesquisa de Alagoas
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference48 articles.
1. Alemzadeh, H., Iyer, R., Kalbarczyk, Z., Raman, J.: Analysis of safety-critical computer failures in medical devices. IEEE Secur. Priv. 11(4), 14–26 (2013)
2. Analog Devices: Single-Lead, Heart Rate Monitor Front End Data Sheet AD8232 (2013)
3. Analog Devices: Low Power, Precision Analog Microcontroller with Dual Sigma-Delta ADCs, ARM Cortex-M3, Data Sheet ADuCM360/ADuCM361 (2014)
4. Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O.: Formal methods based development of a pca infusion pump reference model: Generic infusion pump (gip) project. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, pp. 23–33 (2007)
5. Barbosa, P., Morais, M., Galdino, K., Andrade, M., Gomes, L., Moutinho, F., de Figueiredo, J.: Towards medical device behavioural validation using petri nets. In: IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), pp. 4–10 (2013)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献