aicas GmbH Karlsruhe Germany;
University of Karlsruhe Karlsruhe Germany;
机译:可以从Java字节码程序正确纠正控制流程图,但有例外
机译:可以正确地对类似于Java的多线程程序进行内联监视
机译:可证明正确的Spi Calculus安全协议规范的Java实现
机译:实时垃圾回收对实时Java编程的影响
机译:实现可证明正确的服务:通过监督控制综合实现自动化服务组合
机译:BBK *(在K *上分支和绑定):一种可验证且有效的基于集合体的蛋白质设计算法可优化大序列空间上的稳定性和结合亲和力
机译:可证明对多线程类Java程序的内联监控