Neeraj Kumar Singh — York Research Database

1 Paper
1 Article

Programming Simple Reactive Systems in Ada: Premature Program Termination
Wellings, A. J., Burns, A., Cavalcanti, A. L. C. & Singh, N. K., 2013, In: Ada Letter, Proc. of IRTAW 16. XXXIII, 2, p. 75-86 12 p.
Research output: Contribution to journal › Article › peer-review
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