University of Pennsylvania.;
机译:验证反应性系统的时间特性:SteP教程
机译:使用带有时钟的时序逻辑验证无功系统
机译:参数化验证图:对称参数化并发系统的时间验证
机译:使用多模式输入进行无人系统的自主决策:“为了发展,它所需要的是人类的素质。我们超越逻辑的能力。 -星际迷航:柯克上尉:电影
机译:集成决策程序以进行时间验证。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:验证建模为同步反应系统的神经元原型的时间特性
机译:不使用时态逻辑验证时态属性。