Chan Yin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2024–2024
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | QRS | Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking. | Miaoer Li, Yi Zhu, Yali Liu, Chan Yin |
| 2024 | QRS | ADS Modeling and Safety Verification in Extreme Driving Scenarios. | Ying Zhao, Yi Zhu, Li Zhao, Zexin Li, Chan Yin |