abstraction; verification; hybrid automaton; reachability; behavioral modeling; parameter variable matrices;
机译:关于作为可变负载需求的参数描述的等效电路的储能器的物理系统建模(第一部分)
机译:通过CAD链接的EB测试系统中VLSI的CAD布局数据的连续电路提取,自动进行晶体管级性能故障跟踪
机译:关于混合参数多体系统的变结构动力学建模
机译:具有参数变量矩阵的混合系统自动建模晶体管电平电路
机译:混合单电子和场效应晶体管电路的建模与仿真未来低功率纳米电子学
机译:具有有机和无机混合钝化层的化学组装单电子晶体管上的三输入门逻辑电路
机译:用于测量和表征晶体管的方法和二极管用于自动电路分析程序的大信号参数