Qing She

According to our database, Qing She authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.

Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019