于斌
最后更新时间:..
点击次数:
立项时间:2023-12-24
计划完成时间:2024-12-31
结项日期:2024-12-31
开始日期:2023-12-24
上一条:区块链智能合约形式化验证方法研究(中央高校基本科研业务费,6万,主持)
下一条:嵌入式软件合成过程及产品的质量保障(国家自然科学基金重大项目,62192734,305万,第三参与人)