Neeraj Kumar Singh

Search results

• 2012

  The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

  Wellings, A., Cavalcanti, A. L. C. & Singh, N. K., Oct 2012, p. 62-71. 10 p.

  Research output: Contribution to conference › Paper › peer-review