• DocumentCode
    2667597
  • Title

    Formal Methods And Their Potential For Achieving Highly Dependable Computer Based Medical Applications

  • Author

    McHugh, John

  • Author_Institution
    Computational Logic, Inc.
  • fYear
    1988
  • fDate
    29-30 Sept. 1988
  • Firstpage
    127
  • Lastpage
    131
  • Keywords
    Application software; Biomedical equipment; Computer aided instruction; Computer applications; Formal languages; Hardware; History; Medical services; Programming; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Policy Issues in Information and Communication Technologies in Medical Applications, 1988. Symposium Record
  • Conference_Location
    Rockville, MD, USA
  • Type

    conf

  • DOI
    10.1109/ICTMA.1988.669599
  • Filename
    669599
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2667597