From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

M. Heckman, C. Zhang, B. Becker, D. Peticolas, K. Levitt, и R. Olsson. TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 235-250. Springer, (1996)

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.

Keqiang Cui

Ai Cui

Huiling Cui

Yifang Cui

Cui Zhou

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

Modeling of real-time signal timing for multi-intersection in urban traffic network.D. Lin, C. Wu-shan, S. Jian, и Z. Cui-cui. ICDIM, стр. 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network.D. Lin, C. Wu shan, S. Jian, и Z. Cui cui. ICDIM, стр. 128-133. IEEE, (2009)Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.C. Zhang, и C. McNamme. PDPTA, стр. 256-264. CSREA Press, (1997)Formal Semantic Specification for a Set of UML Diagrams.C. Zhang. Software Engineering Research and Practice, стр. 883-889. CSREA Press, (2003)FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.N. George, C. Zhang, и A. Radimsky. IRI, стр. 218-221. IEEE Systems, Man, and Cybernetics Society, (2011)Bit-plane image coding algorithms based on compressed sensing.G. Gao, C. Zhang, S. Zhao, K. Xiong, и L. Shang. ICDIP, том 8334 из SPIE Proceedings, стр. 833416. SPIE, (2012)A Hierarchical Method for Reasoning about Distributed Programming Languages.C. Zhang, B. Becker, M. Heckman, K. Levitt, и R. Olsson. TPHOLs, том 971 из Lecture Notes in Computer Science, стр. 385-400. Springer, (1995)3G Technology in the engineering disciplines of higher vocational education.Z. Wang, C. Zhang, и C. Wu. EMEIT, стр. 2148-2151. IEEE, (2011)Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic.W. Liang, C. Zhang, и J. Dai. NCS, том 310 из Lecture Notes in Networks and Systems, стр. 124-140. Springer, (2021)Formal Specification of Software Architecture Security Tactics.A. Wyeth, и C. Zhang. SEKE, стр. 172-175. Knowledge Systems Institute Graduate School, (2010)

BibSonomy

Disambiguation