Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Huibiao Zhu
conf.researchr.org general profile
ECBS 2023 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Huibiao Zhu
Country:
China
Contributions
2023
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
ECBS
Committee Member in Program Committee
Author of Formalization and Verification of MQTT-SN Communication Using CSP within the ECBS 2023-track
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
Share
x
Mon 11 Dec 20:50