Author of the publication

Consistency Verification of UML Diagrams Based on Process Bisimulation.

, , , , , and . PRDC, page 126-127. IEEE Computer Society, (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

Development of a Pupil Response System with Empathy Expression in Face-to-Face Body Contact., , and . AHFE (1), volume 952 of Advances in Intelligent Systems and Computing, page 95-102. Springer, (2019)A Serial Booth Multiplier Using Ring Oscillator., , , , , and . CANDAR, page 458-461. IEEE Computer Society, (2016)Bounded model checking of Time Petri Nets using SAT solver., , , , , and . IEICE Electron. Express, 12 (2): 20141112 (2015)Decentralized priority encoder and its applications., , , and . Syst. Comput. Jpn., 22 (10): 9-17 (1991)A method of affine transformation for rectangular video image., , , and . Syst. Comput. Jpn., 31 (7): 75-85 (2000)Superconductive logic circuits constructed by the use of two thresholds of SQUID., , , and . Syst. Comput. Jpn., 36 (2): 42-50 (2005)Interpolation Based Unbounded Model Checking for Time Petri Nets., , , , , and . GCCE, page 619-623. IEEE, (2018)A Compact Low Power AI Module Mounted on Drone for Plant Monitor System., , , , , and . IIAI-AAI, page 1081-1082. IEEE, (2019)A Prototype of a Motor-Learning Support System Using a Motion-Capture Device., , , , , and . GCCE, page 1148-1150. IEEE, (2019)Systematic reducing of metastable operations in CMOS D flip-flops., , , , , and . Syst. Comput. Jpn., 31 (3): 20-28 (2000)