Saarland University,MPI-SWS;
Saarland University;
Saarland University,University of Pennsylvania;
机译:通过结合现实生活中的安全经验(经验教训)和D-Case开发过程来开发可靠的安全案例的新方法
机译:虚拟数控铣削仿真中基于增强现实的G代码生成器的开发
机译:安全编码:将安全性纳入软件开发生命周期
机译:关于现实生活安全协议可扩展代码生成器的开发与正式化
机译:包含可扩展身份验证协议的简单身份验证和安全层
机译:更正:针对各种文化和生态环境中的家庭水不安全性度量工具的开发和验证协议:家庭水不安全性体验(HWISE)量表
机译:现实生命安全协议可扩展代码生成器的开发与形式化