保存日期 – SDA论坛将于2019年11月6日在北京举行

2017年,Prover Technology公司萌生了技术论坛的想法,我们希望创建一个分享经验和最佳实践以及相互沟通的论坛。 我们的目的是聚集来自世界各地领先的信号管理同行,并讨论自动化铁路信号系统的设计和验证中设计自动化和形式验证软件技术的最新发展,所以SDA论坛诞生了。 第一次会议由Prover公司于2017年5月15日在斯德哥尔摩主办。 我们对会议期间大家的参与感到非常高兴,大家展示的兴趣也超出了我们的预期。 我们邀请了来自世界各地的领先基础设施经理、供应商和工程公司,分享经验,激发灵感和建立沟通网络。 所以我们决定继续举办论坛。 SDA2019论坛将由Prover Technology于11月6日在中国北京举办,今年论坛的主题将是形式验证。 您可以在此处注册以获取更多信息。 我们希望今年秋天在北京见到您!