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]
@article{SinghR18-1, title = {Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets}, author = {Lalit Kumar Singh and Hitesh Rajput}, year = {2018}, doi = {10.1109/TCST.2017.2669147}, url = {https://doi.org/10.1109/TCST.2017.2669147}, researchr = {https://researchr.org/publication/SinghR18-1}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Contr. Sys. Techn.}, volume = {26}, number = {2}, pages = {415-426}, }