申报2022年度北京市科学技术奖(自然科学奖)提名项目公示

文章来源:  |  发布时间:2023-04-12  |  【打印】 【关闭

  

根据《北京市科学技术奖励工作办公室/关于启动2022年度北京市科学技术奖提名工作的通知》的相关要求,经项目组申请,现对提名项目安全攸关控制系统形式验证基础理论与方法进行公示(公示内容详见附件)。公示期:2023412日至2023418日。公示期内,任何单位或者个人对公示项目持有异议的,请以书面形式实名提出,并提供必要的证明文件。

  联系人及电话:刘淼,62661022liumiao19@iscas.ac.cn

附件材料