Qianchen Yang

According to our database¹, Qianchen Yang authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Formal Verification of Preemptive Interrupt-Driven Programs Based on Partial Order Modeling.

[DOI]

Proceedings of the 25th International Conference on Software Quality, 2025

2024

Design of Neural Network-based Online Teaching Interactive System in the Context of Multimedia-assisted Teaching.

[DOI]

Informatica (Slovenia), 2024