返回首页
大模型背景下基础软件及工具链的形式化验证方法
大模型背景下基础软件及工具链的形式化验证方法
时间：2023-11-11
地点：江苏省苏州市中科大苏州研究院
联系人： 联系方式：
<<< 上一篇
如何推动在苏科研院所的成果高效转化？
<<< 下一篇 人工智能医学影像赋能基层医生的技术路径
京公网安备 11010802032778号
