IBM General Technology Division, Endicott, New York;
机译:正规分析和验证InternetWare的时序和资源适应性
机译:利用可达性分析的线性脉冲系统的稳定性验证和定时合同合成
机译:结合人为错误验证和时序分析:输液泵案例研究
机译:时序验证和时序分析程序
机译:基于相对时序的验证和设计,以及对延迟不敏感的信号路径建模以及在现场可编程门阵列中的应用。
机译:专业运动员的二次ACL损伤时机分析不支持游戏时机或季节时机造成伤害风险
机译:时序验证和时序分析程序