A Continuous ASM Modelling Approach to Pacemaker Sensing.

R. Banach, H. Zhu, W. Su, X. Wu

    Research output: Contribution to journalArticlepeer-review

    128 Downloads (Pure)
    Original languageEnglish
    Article number2
    Number of pages40
    JournalACM Transactions on Software Engineering and Methodology
    Volume24
    Issue number1
    DOIs
    Publication statusPublished - 2014

    Cite this