( en | de | ru )

 

Disambiguation of "Zhu, Huibiao"

Author of the publication

copydeleteadd this publication to your clipboard
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.

, , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 244-262. Springer, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Huibiao Zhu

Junjiang Zhu

Yongming Zhu

Zhu Dai

Changbao Zhu

 

Other publications of authors with the same name

Towards the Mechanized Semantics and Refinement of UML Class Diagrams., , and . APSEC, page 47-54. IEEE, (2019)Modeling and verifying SDN under Multi-controller architectures using CSP., , , and . Concurr. Comput. Pract. Exp., (2021)Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP., , , , and . Formal Aspects Comput., 32 (2-3): 275-314 (2020)Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP., , , and . SEKE, page 404-409. KSI Research Inc., (2023)A Timed Calculus with Mobility for Wireless Networks., , and . CNIOT, page 653-657. ACM, (2023)Jifeng He at Oxford and Beyond: An Appreciation., and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 3-18. Springer, (2023)PSTM Transaction Scheduler Verification Based on CSP and Testing., , , and . ECBS, page 10:1-10:10. ACM, (2021)Formalization and Verification of the ICC Mechanism in Android System Using CSP., , , and . ISSREW, page 89-95. IEEE, (2023)Formalization and Verification of VANET., , , , , and . SEKE, page 1-6. KSI Research Inc., (2020)Formalization and Verification of SIP Using CSP., , , and . PDCAT, volume 13798 of Lecture Notes in Computer Science, page 158-171. Springer, (2022)