( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scenario-Based Component Behavior Derivation.

, , , , , и . ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 206-225. Springer, (2006)

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.

Guoliang Zhang

Guoliang Luo

Guoliang Liu

Guoliang Zhu

Zheng-Zheng Kuang

 

Другие публикации лиц с тем же именем

Generating test cases from UML activity diagram based on Gray-box method, , , , , и . Software Engineering Conference, 2004. 11th Asia-Pacific, стр. 284- 291. (2004)SPLAW: A Computable Language for Agent-oriented Programming., , , и . ACM SIGPLAN Notices, 33 (1): 61-69 (1998)Analysis and Experiment of the Laser Wireless Energy Transmission Efficiency Based on the Receiver of Powersphere., , , , , и . IEEE Access, (2021)A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages., и . APSEC, стр. 93-. IEEE Computer Society, (1996)Timing Analysis of UML Activity Diagrams., , , , и . UML, том 2185 из Lecture Notes in Computer Science, стр. 62-75. Springer, (2001)Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking., , , и . IPDPS, IEEE Computer Society, (2005)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , и . ISoLA, стр. 392-396. IEEE Computer Society, (2006)Reasoning about Inheritance and Cloning Behaviors of Software Agents., , и . TOOLS (31), стр. 77-82. IEEE Computer Society, (1999)Duration calculus in COOZ., , и . ACM SIGSOFT Softw. Eng. Notes, 23 (3): 78 (1998)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , и . ISORC, стр. 253-256. IEEE Computer Society, (2004)