( en | de | ru )

 

Disambiguation of "Zheng, Guoliang"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Compositional Designs for Scenario-Based Timing Specifications.

, , , , and . ISORC, page 253-256. IEEE Computer Society, (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.

Guoliang Zhang

Guoliang Luo

Guoliang Liu

Guoliang Zhu

Zheng-Zheng Kuang

 

Other publications of authors with the same name

SPLAW: A Computable Language for Agent-oriented Programming., , , and . ACM SIGPLAN Notices, 33 (1): 61-69 (1998)Positive loop-closed automata: a decidable class of hybrid systems., , , , , and . J. Log. Algebraic Methods Program., (2002)Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of Powersphere., , , , , and . IEEE Access, (2021)COOZ: a complete object-oriented extension to Z., , , , and . ACM SIGSOFT Softw. Eng. Notes, 23 (4): 76-81 (1998)Inheritance as sublation and its semantics., and . ACM SIGSOFT Softw. Eng. Notes, 20 (5): 62-66 (1995)Generating test cases from UML activity diagram based on Gray-box method, , , , , and . Software Engineering Conference, 2004. 11th Asia-Pacific, page 284- 291. (2004)A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages., and . APSEC, page 93-. IEEE Computer Society, (1996)Timing Analysis of UML Activity Diagrams., , , , and . UML, volume 2185 of Lecture Notes in Computer Science, page 62-75. Springer, (2001)NDC++: An Approach to Concurrent Extension of C++., and . ACM SIGPLAN Notices, 32 (3): 50-56 (1997)Logical object as a basis of knowledge based systems., and . J. Comput. Sci. Technol., 10 (5): 425-438 (1995)