Lalit Kumar Singh, Hitesh Rajput. Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets. IEEE Trans. Contr. Sys. Techn., 26(2):415-426, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.