ECBS 2023
Mon 16 - Wed 18 October 2023
Västerås, Sweden
Toggle navigation
Attending
Venue: Mälardalen University
Registration
Hotels
Info
Sponsorships
Keynotes
Program
ECBS Program
Your Program
Mon 16 Oct
Tue 17 Oct
Wed 18 Oct
Call for Papers
Organization
ECBS 2023 Committees
Organizing Committee
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
ECBS 2025
ECBS 2024
ECBS 2023
Sign in
Sign up
ECBS 2023
(
series
) /
Huibiao Zhu
ECBS 2023 profile
conf.research.org general profile
ECBS 2024 profile
ECBS 2025 profile
NASA Formal Methods 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Huibiao Zhu
Country:
China
Affiliation:
East China Normal University
Contributions
2023
ECBS
Committee Member in Program Committee
Formalization and Verification of MQTT-SN Communication Using CSP
Show activities from other conferences
Share
ECBS 2023-profile
View general profile
x
Tue 3 Dec 18:26