安德烈-普拉策（André Platzer）发明的这套名为“KeYmaera”的软件 亦是如此，它能帮助由计算机控制的安全系统避免出现灾难性的错误。
基于16个网页-相关网页
andrÉ platzer
安德烈platzer
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动