Title :
Formal Methods in Verification of Medical Devices Towards Hybrid Nano- and Microsystems
Author :
Tirat-Gefen, Y.G.
Author_Institution :
School of Computational Sciences, George Mason Unievrsity, Fairfax, VA
Abstract :
In this presentation, we discuss the possible use of formal methods for designing the next generation of medical devices. Both micro- and nanoscale devices are considered.
Keywords :
Analog-digital conversion; Biological system modeling; Biomedical monitoring; Differential equations; Digital systems; Drugs; Humans; Micromechanical devices; Nanobioscience; Nanoscale devices;
Conference_Titel :
Bioengineering Conference, 2006. Proceedings of the IEEE 32nd Annual Northeast
Conference_Location :
Easton, PA, USA
Print_ISBN :
0-7803-9563-8
DOI :
10.1109/NEBC.2006.1629791
