原创力文档引用格式:丁浩然,王肇国,付明,等.形式化方法与系统软件:实践与发展建议[J].
前瞻科技,2023,2(1):33-45;doi:10.3981/j.issn.2097-0781.2023.01.003
形式化方法与系统软件：实践与发展
建议
丁浩然1,王肇国1,付明2,陈海波1†
1.上海交通大学软件学院，上海200240
2.华为德累斯顿研究所，德
您可能关注的文档
- 厚生労働科学 感染症対策踏まえた消毒作業ガイドライン.pdf
- 衡山君瑞生物科技有限公司 2024年产2万吨钠长石粉建设项目 说明书.pdf
- Sinochem 中化 石油 员工手册 2023年版.pdf
- JACIC SCOPE 电子入札辅助应用程序 安装手册.pdf
- 脂质体滤膜挤出器WE-100说明书.pdf
- 人脸识别测温门禁机使用说明.pdf
- Fukushima Agriculture Water Road Safety Countermeasures Guide说明书用户手册.pdf
- 格力多联技术Gree GMV-L系列产品说明书.pdf
- EMC锂电池自动门后备电源M-236E说明书.pdf
- 消防系统说明书.pdf
文档评论（0）