于斌
最后更新时间:..
点击次数:
立项时间:2021-01-01
计划完成时间:2022-12-31
结项日期:2022-12-31
开始日期:2021-01-01
上一条:智能合约并行运行时验证关键技术研究(国家自然科学基金青年项目,62202361,30万,主持)
下一条:基于形式化验证的FPGA恶意逻辑检测技术研究(西安市科技计划项目,22GXFW0024,3万,主持)