A Continuous ASM Modelling Approach to Pacemaker Sensing

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Transactions on Software Engineering Methodology, 24(1):2, 2014. [doi]

Authors

Richard Banach

This author has not been identified. Look up 'Richard Banach' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Wen Su

This author has not been identified. Look up 'Wen Su' in Google

Xiaofeng Wu

This author has not been identified. Look up 'Xiaofeng Wu' in Google