( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Refinement and verification in component-based model-driven design.

, , , , и . Sci. Comput. Program., 74 (4): 168-196 (2009)

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.

Zhiming Liu

Zhiming Chen

Zhiming Chen

Zhiming Chen

Zhiming Wang

 

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

Formalizing Real-Time Scheduling as Program Refinement., и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 295-309. Springer, (1997)Ensemble Engineering and Emergence., , , и . Software-Intensive Systems and New Computing Paradigms, том 5380 из Lecture Notes in Computer Science, Springer, (2008)A Practical Encrypted Microprocessor., , , и . SECRYPT, стр. 239-250. SciTePress, (2016)Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognition., и . Comput. Vis. Image Underst., 111 (3): 249-262 (2008)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models., , , , , , , и . CoRR, (2020)Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology., и . CCTA, том 258 из IFIP Advances in Information and Communication Technology, стр. 277-285. Springer, (2007)Developing a TTCN-3 Test Harness for Legacy Software., , , и . AST, стр. 104-110. ACM, (2006)Verification of Linear Duration Invariants by Model Checking CTL Properties., , и . ICTAC, том 5160 из Lecture Notes in Computer Science, стр. 395-409. Springer, (2008)A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs., , и . SBMF, том 6527 из Lecture Notes in Computer Science, стр. 258-273. Springer, (2010)A Peer-to-Peer System Super Node Election Mechanism., , , и . Int. J. Inf. Process. Manag., 1 (2): 58-67 (2010)