Author of the publication

A formal specification method for building real-time distributed software.

, , and . CATA, page 46-49. ISCA, (1998)

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

A formal specification method for building real-time distributed software., , and . CATA, page 46-49. ISCA, (1998)Network based vByod scheme in NFV platform., , and . ICTC, page 1143-1145. IEEE, (2017)Two-Stream Network for Detecting Double Compression of H.264 Videos., , , , , and . ICIP, page 111-115. IEEE, (2019)Performance Evaluation of Transport Protocols and Roadmap to a High-Performance Transport Design for Immersive Applications., , , and . ICUFN, page 926-931. IEEE, (2023)Privacy enhanced data aggregation based on federated learning in Internet of Vehicles (IoV)., , , , , , and . Comput. Commun., (2024)An automated approach to reducing test suites for testing retargeted C compilers for embedded systems., , , , and . J. Syst. Softw., 84 (12): 2053-2064 (2011)Detection and classification of the breast abnormalities in digital mammograms via regional Convolutional Neural Network., , , , , , , , and . EMBC, page 1230-1233. IEEE, (2017)MutBug: A Lightweight and Compact Crawling Robot That Can Run on Both Sides., , , and . IEEE Robotics Autom. Lett., 4 (2): 1409-1415 (2019)Using Metrics for Estimating Maintainability of Web Applications: An Empirical Study., , , and . ACIS-ICIS, page 1053-1059. IEEE Computer Society, (2007)Towards Improving OCL-Based Descriptions of Software Metrics., , and . COMPSAC (1), page 172-179. IEEE Computer Society, (2009)