Computer Systems Lab, Stanford University, Stanford, CA;
Dep. de Ci�ncia da Computa��o, ICEx/UFMG, Belo Horizonte, MG, Brazil;
机译:从基于场景的规范中比较和改进基于状态的规范的综合
机译:带有内部流动性的量具的装配规范(GIM)-公差合成得出的规范语义
机译:考虑概念层次结构的混合型数据群集:问题规范和算法
机译:混合频率小增益规格的多目标控制综合:Youla参数化方法
机译:对模拟和混合信号系统进行高级综合的规格和设计空间探索。
机译:针对具有复杂医疗保健需求的年轻人的暂息护理和短暂休息的规范可接受性和有效性:混合方法系统评价的方案
机译:混合规格综合
机译:混合金属和混合诱变剂13-15环系统的合成