Author of the publication

FDR verification of a system involving a robot climbing stairs.

, , , , , and . ICIS, page 875-878. IEEE Computer Society, (2017)

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

Evaluation of Advanced Analysis Method for Human Relationship Using Fuzzy Theory., , , , and . ISDA (1), volume 940 of Advances in Intelligent Systems and Computing, page 772-782. Springer, (2018)A Highly Efficient Transport Protocol for Large Capacity Data Files: Non-ordered Block Transfer on XCAST., and . ICPADS (1), page 495-501. IEEE Computer Society, (2005)Highly Efficient Transport Protocol for Large Capacity Data Files and its details., , , , and . Inf. Media Technol., 7 (3): 1205-1212 (2012)Analysis indices of human relationships based on fuzzy model., , , , and . Int. J. Hybrid Intell. Syst., 15 (3): 183-193 (2019)FDR verification of a system involving a robot climbing stairs., , , , , and . ICIS, page 875-878. IEEE Computer Society, (2017)Automatic Generation of SVG Program Documents with Animation Based on Attribute Graph Grammars., , , , and . ACIS-ICIS, page 347-350. IEEE Computer Society, (2010)Highly Efficient Transport Protocol for Large Capacity Data Files and Its Visualizing Methods., , , and . ACIS-ICIS, page 389-394. IEEE Computer Society, (2010)Efficiency of Concurrent Processing of Sort Using CSP., , , , , , and . SNPD, page 524-529. IEEE Computer Society, (2012)O(n) and O(n2) Time Algorithms for Drawing Problems of Tree-Structured Diagrams., , , , , , and . SNPD, page 530-535. IEEE Computer Society, (2012)Effectiveness of Multi-touch Interface for Fuzzy Graph Analysis., , , , and . ACIT-CSI, page 123-124. IEEE, (2015)