( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

, , , , , и . 计算机科学, 43 (11): 24-29 (2016)

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.

Qianying Chen

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Ning Zhang

 

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

Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , и . APSEC, стр. 355-362. IEEE, (2019)Formalizing the Transaction Flow Process of Hyperledger Fabric., , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2020)Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics., , , , и . SETTA, том 13071 из Lecture Notes in Computer Science, стр. 61-80. Springer, (2021)Formal Verification of Interrupt Isolation for the TrustZone-based TEE., , , , , , и . APSEC, стр. 309-318. IEEE, (2023)Design and Implementation of OOM Module based on Rust., , , , и . QRS Companion, стр. 774-775. IEEE, (2022)MicroTEE: Designing TEE OS Based on the Microkernel Architecture., , , , и . TrustCom/BigDataSE, стр. 26-33. IEEE, (2019)A Unified Security Analysis of Two-Phase Key Exchange Protocols in TPM 2.0., и . TRUST, том 9229 из Lecture Notes in Computer Science, стр. 40-57. Springer, (2015)Providing Root of Trust for ARM TrustZone using On-Chip SRAM., , , , и . TrustED@CCS, стр. 25-36. ACM, (2014)Refinement Verification of OS Services based on a Verified Preemptive Microkernel., , , , , и . FASE, том 14573 из Lecture Notes in Computer Science, стр. 188-209. Springer, (2024)函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus)., , , , , и . 计算机科学, 43 (11): 24-29 (2016)