Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system
Kumar, Vinay, Chandra Mishra, Kailash, Singh, Pooja, Narayan Hati, Aditya, Rao Mamdikar, Mohan, Kumar Singh, Lalit, Ramakant Parida, R.N.
Published in Annals of nuclear energy (01.02.2022)
Published in Annals of nuclear energy (01.02.2022)
Get full text
Journal Article
Reliability Analysis of Safety-Critical Systems using Optimized Petri Nets
Mamdikar, Mohan Rao, Kumar, Vinay, Bharti, Sharda, Singh, Pooja
Published in Progress in nuclear energy (New series) (01.10.2023)
Published in Progress in nuclear energy (New series) (01.10.2023)
Get full text
Journal Article
A Review on ITS (Intelligent Transportation Systems) Technology
Ravi, Shashi, Mamdikar, Mohan Rao
Published in 2022 International Conference on Applied Artificial Intelligence and Computing (ICAAIC) (09.05.2022)
Published in 2022 International Conference on Applied Artificial Intelligence and Computing (ICAAIC) (09.05.2022)
Get full text
Conference Proceeding