JPA (e-mail: baniy@eit.uni-kl.de);
机译:非正式获得的能力的正规化,作为医疗业学术证书计划的一部分-卫生部门学术证书计划框架内的模型的“原型” /非正式形式的正规化-?原型
机译:程序结构形式化在面向对象程序中的应用
机译:计划结构形式化在面向对象计划中的应用
机译:非二元PLC程序的形式化和可视化
机译:从非正式规范到形式化:一种自动化的可视化方法。
机译:将基于实践的生活方式改善计划转换为形式化可测试的计划:从Texercise Classic到Texercise Select
机译:pLC程序的Internet可视化