Subject
Health Informatics,Computer Science Applications
Reference56 articles.
1. Cardiac electrical modeling for closed-loop validation of implantable devices;Ai;IEEE (Inst. Electr. Electron. Eng.) Trans. Biomed. Eng.,2019
2. Closing the loop: validation of implantable cardiac devices with computational heart models;Ai;IEEE J. Biomed. Health Inf.,2019
3. Diaphragmatic pacing for the treatment of congenital central alveolar hypoventilation syndrome;Ali;J. Pediatr. Surg.,2008
4. Principles of Cyber-Physical Systems;Alur,2015
5. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献