computer security; interval temporal logic; specification; virus behaviour;
机译:具有无限间隔的概率间隔时间逻辑和持续时间演算:完整的证明系统
机译:使用时间逻辑分析时间逻辑:一种基于时间间隔的分层方法
机译:可视下推系统的时间间隔逻辑
机译:基于行为的病毒检测系统使用间隔时间逻辑
机译:使用时间间隔逻辑指定分布式程序。
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:具有无限区间的概率区间时间逻辑和持续时间演算:完整的证明系统