Author of the publication

Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description.

, , , and . CSSE (3), page 363-369. IEEE Computer Society, (2008)978-0-7695-3336-0.

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 vector table model-based systematic analysis of spectral fault localization techniques., , , and . Software Quality Journal, 27 (1): 43-78 (2019)Design and Performance Analysis of a Multilayer Sea Ice Temperature Sensor Used in Polar Region., , , , and . Sensors, 18 (12): 4467 (2018)WSDL-Based Automated Test Data Generation for Web Service., , , , and . CSSE (2), page 731-737. IEEE Computer Society, (2008)978-0-7695-3336-0.Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description., , , and . CSSE (3), page 363-369. IEEE Computer Society, (2008)978-0-7695-3336-0.An Extended Self-Adaptive Kalman Filtering Object Motion Prediction Model., , , , and . IIH-MSP, page 421-424. IEEE Computer Society, (2008)An Intelligent Question Answering System for University Courses Based on BiLSTM and Keywords Similarity., , , and . BICS, volume 10989 of Lecture Notes in Computer Science, page 625-632. Springer, (2018)Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems., , , , and . COMPSAC, page 539-548. IEEE Computer Society, (2013)A Method for Constructing Fault Trees from AADL Models., , , and . ATC, volume 6906 of Lecture Notes in Computer Science, page 243-258. Springer, (2011)Visual analysis of bi-directional movement behavior., , , , and . BigData, page 581-590. IEEE Computer Society, (2015)A Security Evaluation Model for Multi-Agents Distributed Systems., and . BIS, volume P-85 of LNI, page 468-485. GI, (2006)