Towards modelling of cardiac pacemakers with timed coloured petri nets and related tools

Research output: Contribution to journal › Conference article › peer-review