( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AMOEBA-RT: Run-Time Verification of Adaptive Software.

, , и . MoDELS (Workshops), том 5002 из Lecture Notes in Computer Science, стр. 212-224. Springer, (2007)

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.

Ying Min Cheng

I-Fen Cheng

Xuerong Cheng

Qing-Qi Cheng

Yao Cheng

 

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

Automatic detection of incomplete requirements via symbolic analysis., и . MoDELS, стр. 385-395. ACM, (2016)Software engineering for adaptive and self-managing systems., , , , , , и . ICSE, стр. 1015-1016. ACM, (2006)Integrating object-oriented analysis and formal specifications.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 40-41 (2000)A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015).. ACM SIGSOFT Softw. Eng. Notes, 40 (3): 23-31 (2015)Composing Adaptive Software., , , и . Computer, 37 (7): 56-64 (2004)Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks., , и . J. Parallel Distributed Comput., 45 (2): 104-121 (1997)MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases., , , , , , и . Future Gener. Comput. Syst., (2020)Unwanted Feature Interactions Between the Problem and Search Operators in Evolutionary Multi-objective Optimization., , и . EMO (1), том 9018 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2015)Generalizing the Unimodular Approach., и . ICPADS, стр. 398-405. IEEE Computer Society, (1994)Automated Analysis of Timing Information in UML Diagrams., , и . ASE, стр. 350-353. IEEE Computer Society, (2004)