Travelled to:1 × Estonia
1 × Taiwan
Collaborated with:M.Behl T.X.Nghiem Z.Jiang M.Pajic S.Moarref R.Alur
Talks about:model (2) accuraci (1) toolbox (1) perform (1) pacemak (1) implant (1) control (1) chamber (1) invers (1) impact (1)
Person: Rahul Mangharam
DBLP: Mangharam:Rahul
Contributed to:
2014
2012Wrote 2 papers:
- CASE-2014-BehlNM #named #performance
- IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.
- TACAS-2012-JiangPMAM #modelling #verification
- Modeling and Verification of a Dual Chamber Implantable Pacemaker (ZJ, MP, SM, RA, RM), pp. 188–203.