TU Braunschweig, Braunschweig, Germany;
TU Braunschweig, Braunschweig, Germany;
TU Braunschweig, Braunschweig, Germany;
TU Braunschweig, Braunschweig, Germany;
Deductive verification; Design by contract Formal methods; Theorem proving; KeY; Control parameters Automated reasoning;
机译:调查十年级学生对演绎证明结构的理解
机译:批结晶过程建模:通过经验实验设计进行假设验证和参数估计质量的提高
机译:使用二维表面参数模拟平均城市热岛:经验建模,验证和扩展
机译:了解演绎验证参数:关键的实证调查
机译:螺栓连接可靠紧固和使用行为关键参数的研究
机译:验证泰国的死亡原因:实证研究的理由和方法
机译:在关键中的浮点Java程序的演绎验证
机译:辩证与经验思维:俄罗斯信息运作理解的十大要素