跳至内容 | 跳至导航
Dagstuhl Seminar是德国政府资助、目前世界上最具影响力的信息技术前沿论坛。本次论坛围绕运行时模型的概念、理论、方法、技术、应用等多个方面,40多位来自世界各地的研究人员进行了全面深入地探讨,形成了若干关键性的共识。
北京大学软件所
高可信软件技术重点实验室
软工所内网门户
软工所邮件系统
软工空间