Author of the publication

Consistency check between behaviour models Consistency check between behaviour models

, , , , , , and . Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on, 1, page 486--489. (2005)
DOI: 10.1109/ISCIT.2005.1566899

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

Consistency check between behaviour models Consistency check between behaviour models, , , , , , and . Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on, 1, page 486--489. (2005)Design Pattern Detection from Java Software., , , and . IASTED Conf. on Software Engineering, page 174-180. IASTED/ACTA Press, (2005)C-V2X Large-scale Test Network Transmission Performance Data Analysis Method., , , , , and . TrustCom, page 1334-1339. IEEE, (2021)Underwater Image Enhancement Method Based on Dynamic Heterogeneous Feature Fusion Neural Network., , and . IEEE Access, (2022)Audio Anti-Spoofing Based on Audio Feature Fusion., , , and . Algorithms, 16 (7): 317 (July 2023)Weighted Slope One Algorithm Optimization Based on User Similarity and Item Similarity., and . ICNC-FSKD, page 34-39. IEEE, (2018)Precise condition synthesis for program repair., , , , , , and . ICSE, page 416-426. IEEE / ACM, (2017)Soft Robotics Across Scales: Fundamentals to Applications., , and . Adv. Intell. Syst., (February 2024)MINRob: A Large Force-Outputting Miniature Robot Based on a Triple-Magnet System., , , , , , , , and . IEEE Trans. Robotics, (2024)GC-GAN: Photo Cartoonization Using Guided Cartoon Generative Adversarial Network., , , and . ICANN (5), volume 14258 of Lecture Notes in Computer Science, page 65-77. Springer, (2023)