Fakultaet fuer Informatik, Technische Universitaet Muenchen, Munich, Germany;
Fakultaet fuer Informatik, Technische Universitaet Muenchen, Munich, Germany;
Fakultaet fuer Informatik, Technische Universitaet Muenchen, Munich, Germany;
机译:软验证动态程序中的动态功能
机译:软验证动态程序中的动态功能
机译:凸程序用于非线性动力学系统的时间验证
机译:考虑到物理动力学的可编程逻辑控制器的安全验证-在物料搬运机器人中的应用
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:自然的下丘脑回路动力学成为物体记忆的基础
机译:使用prolog在面向对象程序中动态分配内存验证