1. Design verification of instrumentation and control systems of NPP;Singh;IEEE Trans. Nucl. Sci.,2014
2. Modeling and prediction of performability of safety critical computer based systems using Petri nets;Singh,2012
3. Dependability analysis of safety critical real-time systems by using Petri nets;Singh;IEEE Trans. Control Syst. Technol.,2017
4. Computing transition probability in Markov chain for early prediction of software reliability;Singh;Qual. Reliab. Eng. Int.,2015
5. Ensuring safety in design of safety critical computer based systems;Singh,2016