Institut fuer Informatik, Universitaet Muenchen Oettingenstrasse 67, 80538 Muenchen, Germany;
机译:使用摊销和分离逻辑对Java字节码进行静态资源分析
机译:控制问题中1型模糊逻辑系统,区间2型模糊逻辑系统和广义2型模糊逻辑系统的比较研究
机译:@NonNull类型的字节码验证算法的形式化和实现
机译:JML和类型的字节码逻辑
机译:通过使用间隔Type-2建模和基于一般类型-2模糊逻辑代理的方法引入不确定性来引入基于集合的设计实践的增强
机译:使用1型和2型模糊逻辑系统的消毒机器人的墙面行为
机译:Java建模语言JML的逻辑