Mingfu Tuo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
2021–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | QRS | Review of Key Attribute Analysis and Verification Techniques for CPS. | Mingfu Tuo, Wenliang Wu, Hongmei Zhang, Yongmei Zhao |
| 2023 | QRS | Safety Verification Technology of CPS Based on Theorem Proving. | Mingfu Tuo, Xiaoqiang Zhao, Wenliang Wu, Bo Shen |
| 2022 | QRS | Modeling and Real-Time Verification for CPS based on Time Automata. | Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu |
| 2021 | QRS | A Hybrid Automata Based on Event Algebra for CPS Modelling. | Mingfu Tuo, Jian Zhao, Hongmei Zhang, Yongmei Zhao |