Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing

Open Webpage

Wangyang Yu, Jinming Kong, Zhijun Ding, Xiaojun Zhai, Zhiqiang Li, Qi Guo

Published: 2024, Last Modified: 26 Jan 2026ACM Trans. Embed. Comput. Syst. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0