Kumar, Pramod2022-06-062022-06-062022-04http://hdl.handle.net/123456789/2305enSafety-critical systemsSCS softwarePetri NetsMarkov chainsCSEPH2029Ph.DRobust approach for dependability analysis of safety-critical systemsThesis