Yu Du

Orcid: 0009-0005-8023-8936

Affiliations:

Hiroshima University, Graduate School of Advanced Science and Engineering, Japan

According to our database¹, Yu Du authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Software Fault Prevention, Verification, and Validation, 2024

2023

Maintainability Assessment for SOFL Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023