Items where Author is "Cheng, Yumeng"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.
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. (In Press)
Yu, Wangyang and Feng, Jie and Liu, Lu and Zhai, Xiaojun and Cheng, Yumeng (2024) Enhancing security in e-business processes: Utilizing dynamic slicing of Colored Petri Nets for logical vulnerability detection. Future Generation Computer Systems, 158. pp. 210-218. DOI https://doi.org/10.1016/j.future.2024.04.035