Embedded Reachability Analyser; Invariant Checker; Model-Checking; Post-silicon Verification; Test Automation;
机译:电镀浴AC伏安分析仪的嵌入式温度变化方法温度补偿
机译:Presburger归纳不变量的一般矢量加法系统可达性问题
机译:领域不变层次嵌入用于杂货产品识别
机译:嵌入式可达性分析仪和不变的检查器(ERAIC)
机译:高性能实时嵌入式系统:路面分析仪系统的设计和实现。
机译:社区健康(REACH)网络的农村嵌入式助理:社区大学伙伴关系中的第一人称账户
机译:普力士的一般向量加法系统可达性问题 归纳不变量
机译:可达和不变集的最优半可量近似;分析报告