Author of the publication

Multi-thread Simulation-based Equivalence Checking between SIM and RTI.

, , , , , , and . CSAE, page 51:1-51:6. ACM, (2020)

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

Skin condition detection of smartphone face image using multi-feature decision method., , , , , and . iCAST, page 379-382. IEEE, (2017)Multi-attribute predictive analysis based on attribute-oriented fuzzy rough sets in fuzzy information systems., , and . Inf. Sci., (2022)Multi-thread Simulation-based Equivalence Checking between SIM and RTI., , , , , , and . CSAE, page 51:1-51:6. ACM, (2020)Dynamical Behavior of a Colony Migration System: Do Colony Size and Quorum Threshold Affect Collective Decision?, , , and . SIAM J. Appl. Math., 84 (3): S43-S64 (2024)Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress., , , , , , and . CODES+ISSS, page 1-2. IEEE, (2020)Deterministic Approximation of a Stochastic Imitation Dynamics with Memory., and . Dyn. Games Appl., 14 (3): 525-548 (July 2024)Robust Feature Selection Based on Fuzzy Rough Sets with Representative Sample., , , , , , and . ADMA, volume 11888 of Lecture Notes in Computer Science, page 151-165. Springer, (2019)Relative nonlinearity and permanence., and . Theoretical population biology, 78 (2003): 26--35 (April 2010)A novel variable precision rough set attribute reduction algorithm based on local attribute significance., , , and . Int. J. Approx. Reason., (June 2023)Spline Interpolation Method Based on Arc Length Parameterization and its Application in Stress Field Interpolation for Flexible Plates., , , , , and . IEEE Access, (2021)