Industrial Software Systems, ABB Corporate Research,ABB AG, Forschungszentrum Deutschland,Wallstadter Str. 59, D-68526 Ladenburg, Germany;
Charles University in Prague Malostranske nam. 25, 11800 Prague 1, Czech Republic;
Industrial Software Systems, ABB Corporate Research,ABB AG, Forschungszentrum Deutschland,Wallstadter Str. 59, D-68526 Ladenburg, Germany;
software analysis; model checking.;
机译:作为单元测试工具的软件模型检查器的比较研究:工业案例研究
机译:软件模型检查器Blast在软件工程中的应用
机译:增强爆炸建模和建议的适用性
机译:爆炸模型检查的适用性:工业案例研究
机译:爆炸诱发的颅脑损伤的生物力学分析---冲击波对人脑的有限元建模和验证研究。
机译:蛋白质微环境在鞣酸酶工业实用性中的贡献:致病性和非致病细菌鞣酶的三种比较研究
机译:BLAST模型检查器的适用性:工业案例研究