Login / Signup

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

Wangyang YuJinming KongZhijun DingXiaojun ZhaiZhiqiang LiQi Guo
Published in: ACM Trans. Embed. Comput. Syst. (2024)
Keyphrases
  • colored petri nets
  • control system
  • petri net
  • quantitative analysis
  • search engine
  • web services
  • decision trees
  • multi agent systems
  • image analysis
  • source code
  • statistical modeling
  • static analysis
  • safety analysis