Open AccessFormal Modelling and Verification of the Operational Modes of Pacemaker
Author(s) -
Syed Asad Raza Kazmi,
Sana Abubakkar,
Awais Qasim,
Syed Hassan A. Kazmi,
Usman Qureshi
Publication year - 2017
Publication title -
indian journal of science and technology
Language(s) - English
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2017/v10i20/104028
Subject(s) - computer science , heartbeat , model checking , reliability engineering , reliability (semiconductor) , process (computing) , formal verification , real time computing , theoretical computer science , computer security , programming language , power (physics) , physics , quantum mechanics , engineering