Cover Image
QR Code

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.

Published in:Journal of Medical Systems Vol. 36; no. 4; pp. 2633 - 2649
Main Authors: Babamir, Seyed, Borhani, Mehdi
Format: equations & formulas research tables/charts Journal Article
Published: Springer Nature Aug2012
Online Access:View this record in EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=ccm&AN=117144029&site=ehost-live
header:
  @attributes:
    shortDbName: ccm
    uiTerm: 117144029
    longDbName: CINAHL Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    dissinfo:
    jinfo:
      jid:
        01485598
        4N0
      jtl: Journal of Medical Systems
      issn: 01485598
      maglogo: N
    pubinfo:
      dt: Aug2012
      vid: 36
      iid: 4
      pid: 237
      pub: Springer Nature
      place: New York, New York
    artinfo:
      ui:
        117144029
        117144029
        117144029
        10.1007/s10916-011-9739-5
        117144029
      ppf: 2633
      ppct: 16
      formats:
        fmt:
          @attributes:
            type: P
      tig:
        atl: Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.
      aug:
        au:
          Babamir, Seyed
          Borhani, Mehdi
        affil: University of Kashan, Kashan Iran
      sug:
        subj:
          Monitoring, Physiologic
          Software
          Insulin Infusion Systems
          Mathematics
          Blood Glucose
          Human
      pubtype: Academic Journal
      doctype:
        equations & formulas
        research
        tables/charts
        Journal Article
      ougenre: Article
      ab:
    language: English
    refInfo:
    holdings:
      @attributes:
        islocal: N