Author of the publication

Development of RTOS for PLC Using Formal Methods.

, , , , , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 479-482. Springer, (2004)

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

OFDM-based 25Gbps Wireless Backhaul System for 5G Convergence Service., , , , , , and . ICOIN, page 814-817. IEEE, (2020)Sample-Efficient Deep Reinforcement Learning via Episodic Backward Update., , and . NeurIPS, page 2110-2119. (2019)Development of RTOS for PLC Using Formal Methods., , , , , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 479-482. Springer, (2004)MPEG4 AVC/H.264 decoder with scalable bus architecture and dual memory controller., , , , and . ISCAS (2), page 145-148. IEEE, (2004)Carrier Frequency Offset Estimation for OFDM System with Large Oscillator Phase Noise., , , , , and . ICTC, page 368-370. IEEE, (2021)Adaptive Packet Size Control Using Beta Distribution Mobility Estimation for Rapidly Changing Mobile Networks., , and . IEICE Trans. Commun., 92-B (2): 599-603 (2009)An updated version of wannier90: A tool for obtaining maximally-localised Wannier functions., , , , , , and . Comput. Phys. Commun., 185 (8): 2309-2310 (2014)wannier90: A tool for obtaining maximally-localised Wannier functions., , , , , and . Comput. Phys. Commun., 178 (9): 685-699 (2008)Stability of an Euler-Lagrange-Rassias equation in the spaces of generalized functions., and . Appl. Math. Lett., 21 (7): 694-700 (2008)Feature extraction and prediction of fine particulate matter (PM2.5) chemical constituents using four machine learning models., , , , , , , , and . Expert Syst. Appl., (July 2023)