Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sini Chen
conf.researchr.org general profile
ECBS 2023 profile
NASA Formal Methods 2024 profile
Not registered as user
Name:
Sini Chen
Contributions
2024
NFM
Author of Verification of Scapegoat Trees using Dafny within the NFM 2024-track
2023
ECBS
Author of Formalization and Verification of MQTT-SN Communication Using CSP within the ECBS 2023-track
Share
x
Tue 30 Sep 11:41