• DocumentCode
    1910767
  • 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
  • fYear
    2006
  • fDate
    2006
  • Firstpage
    139
  • Lastpage
    140
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Bioengineering Conference, 2006. Proceedings of the IEEE 32nd Annual Northeast
  • Conference_Location
    Easton, PA, USA
  • Print_ISBN
    0-7803-9563-8
  • Type

    conf

  • DOI
    10.1109/NEBC.2006.1629791
  • Filename
    1629791
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1910767