Author of the publication

Bayesian-Network-Based Reliability Analysis of PLC Systems.

, , , , , , and . IEEE Trans. Ind. Electron., 60 (11): 5325-5336 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic Analysis of Programmable Logic Controllers., , , , , and . IEEE Trans. Computers, 63 (10): 2563-2575 (2014)Verifying programmable logic controllers with abstraction., , , and . SIES, page 225-228. IEEE, (2008)Modeling and analysis of stage machinery control systems by timed colored Petri nets., , and . SIES, page 103-110. IEEE, (2008)Transfer learning based deep network for signal restoration and rhythm analysis during cardiopulmonary resuscitation using only the ECG waveform., , , , , and . Inf. Sci., (May 2023)Optimized Real-Time Object Detection and Tracking Using a Refined YOLOV4 Algorithm., , , and . CAIBDA, volume 373 of Frontiers in Artificial Intelligence and Applications, page 1151-1157. IOS Press, (2023)Specifying Time-Sensitive Systems with TLA+., , and . COMPSAC, page 425-430. IEEE Computer Society, (2010)Subject Envelope based Multitype Reconstruction Algorithm of Speech Samples of Parkinson's Disease., , , , and . CoRR, (2021)An Effective Heuristic-Based Approach for Partitioning., , , , , and . J. Appl. Math., (2013)Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques., , , , , , and . IEEE Trans. Ind. Electron., 62 (2): 1270-1278 (2015)Modeling job shop scheduling with batches and setup times by timed Petri nets., and . Math. Comput. Model., 49 (1-2): 286-294 (2009)