Jiaxiang Zhou
Orcid: 0009-0007-0504-9478
According to our database1,
Jiaxiang Zhou
authored at least 2 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024
2004
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
Int. J. Softw. Tools Technol. Transf., 2004