原名:Optimization of Real-Time Systems Timing Specifications
作品简介:2 休斯顿大学计算机科学系， Cheng@cs.uh.edu。抽象的。实时逻辑 (RTL) 对于安全性验证非常有用。令 LP 为有限原子公式集上的命题逻辑 (vari- .. SA : ∀t ∀u ( f(t)+ 45 ≤ h1(u) ∧ h2(u) < f(t)+ 60 → g2 （t……
资源下载
VIP免费升级VIP
原名:Optimization of Real-Time Systems Timing Specifications
作品简介:2 休斯顿大学计算机科学系， Cheng@cs.uh.edu。抽象的。实时逻辑 (RTL) 对于安全性验证非常有用。令 LP 为有限原子公式集上的命题逻辑 (vari- .. SA : ∀t ∀u ( f(t)+ 45 ≤ h1(u) ∧ h2(u) < f(t)+ 60 → g2 （t……
