RM2PT Funds

Research Funds

2021 - 2022 Automatic Prototyping and Formal Verification of Industrial Requirements (工业软件需求原型化与协同验证) (PI - Yilong Yang)

2016 - 2019 Model-Driven Software Development from Requirement Description to Code Generation. Macau Science and Technology Development Fund. FDCT 103/2015/A3. (PI - Xiaoshan Li)