All Stories

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

    Article • ACM Transactions on Embedded Computing Systems, November 2023, ACM (Association for Computing Machinery)

    yuan Liu