Author of the publication

Linking Simulation with Formal Verification at a Higher Level.

, , and . IEEE Des. Test Comput., 21 (6): 472-482 (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

Coal Level Monitoring System of Coal Warehouses Based on CAN Field Bus., and . AICI (2), volume 7003 of Lecture Notes in Computer Science, page 175-182. Springer, (2011)New IEEE Standards Seek Participation Society News.. IEEE Consumer Electronics Magazine, 4 (1): 18-19 (2015)Quality Analysis and Improvement of Rear Axle Assembly Line of G Motor Company., , , and . IEEM, page 920-924. IEEE, (2019)Tactile gesture recognition for people with disabilities., , and . ICASSP (5), page 461-464. IEEE, (2005)Two-relaxation-time regularized lattice Boltzmann model for convection-diffusion equation with variable coefficients., , , and . CoRR, (2023)All Reality: Virtual, Augmented, Mixed (X), Mediated (X, Y), and Multimediated Reality., , , , and . CoRR, (2018)Periodic Intermittent Adaptive Control with Saturation for Pinning Quasi-Consensus of Heterogeneous Multi-Agent Systems with External Disturbances., , , , , , , and . Entropy, 25 (9): 1266 (September 2023)Research Commentary on IS/IT Role in Emergency and Pandemic Management: Current and Future Research., , , and . J. Database Manag., 32 (2): 67-75 (2021)Dynamic multiple criteria group decision-making method based on intuitionistic fuzzy information., and . J. Control. Decis., 9 (4): 397-406 (2022)Edge and Skeleton Guidance Network for Salient Object Detection in Optical Remote Sensing Images., , , , , and . IEEE Trans. Circuits Syst. Video Technol., 33 (12): 7109-7120 (December 2023)