于斌
最后更新时间:..
点击次数:
立项时间:2021-01-01
计划完成时间:2022-12-31
结项日期:2022-12-31
上一条:基于形式化验证的FPGA恶意逻辑检测技术研究(西安市科技计划项目,22GXFW0024,3万,主持)
下一条:区块链智能合约形式化验证方法研究(中央高校基本科研业务费,6万,主持)