BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
implant (3)
formal (2)
resynchron (1)
therapi (1)
defibril (1)

Stem pacemak$ (all stems)

5 papers:

HCIDHM-EH-2015-SinghLMW #formal method
Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
HILTHILT-2014-Larson #semantics #specification
Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
TACASTACAS-2012-JiangPMAM #modelling #verification
Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.
CHICHI-2010-DenningBFGKM #security
Patients, pacemakers, and implantable defibrillators: human values and security for wireless implantable medical devices (TD, AB, BF, BTG, TK, WHM), pp. 917–926.
DATEDATE-DF-2004-HeckerCLBLO #development #library
VHDL-AMS Library Development for Pacemaker Applications (BH, MC, ML, EB, LL, JO), pp. 338–341.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.