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

3D Modeling of the Vessels from X-Ray Angiography., , and . HCI (12), volume 4561 of Lecture Notes in Computer Science, page 646-654. Springer, (2007)High-Resolution Tactile-Sensation Diagnostic Imaging System for Thyroid Cancer., , , , , , and . Sensors, 23 (7): 3451 (April 2023)Performance Analysis for HSR Based In-Vehicular Network (IVN) under End-to-End Latency (EEL) Constraint with Store-and-Forward Mode., , , and . ICTC, page 1001-1003. IEEE, (2020)An Automatic Generation Technique of 3D Vessels Model from Angiograms., , , , and . IPCV, page 371-376. CSREA Press, (2006)Automatic Generation of 3D Vessels Model Using Vessels Image Matching Based on Adaptive Control Points.. ALPIT, page 265-270. IEEE Computer Society, (2007)Automatic 3D Model Generation based on Matching of Adaptive Control Points., , and . IPCV, page 928-933. CSREA Press, (2009)A New Incremental Watermarking Based on Dual-Tree Complex Wavelet Transform., , , and . J. Supercomput., 33 (1-2): 133-140 (2005)Development of RTOS for PLC Using Formal Methods., , , , , , and . ATVA, volume 3299 of Lecture Notes in Computer Science, page 479-482. Springer, (2004)Automatic Generation Technique of Three-Dimensional Model Corresponding to Individual Vessels., , and . ICCSA (5), volume 3984 of Lecture Notes in Computer Science, page 441-449. Springer, (2006)2-Stage Camera Motion Parameter Estimation Technique Based on Geometric Invariant Features., , , and . IPCV, page 580-588. CSREA Press, (2006)