Items where Author is "Hao, Fei"
 | Up a level |
Article
Yu, Wangyang and Guo, Qi and Cheng, Yumeng and Liu, Lu and Hao, Fei and Zhai, Xiaojun and Chen, Minsi (2025) Formal Modeling and Reliability Analysis of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. Transactions on Embedded Computing Systems, 24 (3). pp. 1-21. DOI https://doi.org/10.1145/3715960
Conference or Workshop Item
Cheng, Yumeng and Yu, Wangyang and Zhai, Xiaojun and Hao, Fei and Liu, Yuan (2024) Grading and Calculation of Synchronic Distance in Petri Nets for Trustworthy Modeling and analyzing. In: The 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 2023-11-01 - 2023-11-03, Exeter.