Weiyi Zhang

Orcid: 0000-0003-4915-1080

Affiliations:

According to our database¹, Weiyi Zhang authored at least 2 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Designing, Modeling and Analysis of GALS Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., August, 2023

2019

Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019