Announcement_2
- One paper accepted to the 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA) 2024: “Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals”.一篇论文被第 10 届 International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA) 2024 接收：“Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals”。