机译:验证和验证数字微系统功能规范的方法
UNIWERSYTET ZIELONOGÓ
RSKI, INSTYTUT INFORMATYKI I ELEKTRONIKI;
projektowanie zintegrowane; sieci petriego; model formalny; systemy osadzone; systemy cyfrowe; mikro systemy cyfrowe; FPGA;
机译:在规范和验证依赖函数的形式描述中使用计算机支持
机译:关于电磁场数值建模结果的验证和确认的一些问题
机译:1,3-丁二烯液化烃类气体验证方法存在的问题
机译:1,3-丁二烯液化烃类气体验证方法存在的问题