Modelling a cardiac pacemaker visually and formally

Jerome Leemans*, Nuno Amalio

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings - 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012
    Pages257-258
    Number of pages2
    DOIs
    Publication statusPublished (VoR) - 2012
    Event2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012 - Innsbruck, Austria
    Duration: 30 Sept 20124 Oct 2012

    Publication series

    NameProceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC
    ISSN (Print)1943-6092
    ISSN (Electronic)1943-6106

    Conference

    Conference2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012
    Country/TerritoryAustria
    CityInnsbruck
    Period30/09/124/10/12

    Keywords

    • formal methods
    • modelling
    • visual languages

    Fingerprint

    Dive into the research topics of 'Modelling a cardiac pacemaker visually and formally'. Together they form a unique fingerprint.

    Cite this