...
机译:准备好并发仿真:这是合乎逻辑的!
Software Technologies Research Group, University of Bamberg, D-96045 Bamberg, Germany;
rnInstitut fuer Informatik, Universitaet Augsburg, D-S6135 Augsburg, Germany;
logic labelled transition system; conjunction; parallel composition; consistency preorder; ready simulation; full abstraction;
机译:与逻辑设备的并发错误检测系统的双重误差有效检测的总和码
机译:基于BERGER的代码,在并发检查下检测组合设备中逻辑元素故障的条件
机译:没有存储器的逻辑电路并发错误检测系统的建立方法
机译:准备好并发仿真:这是合乎逻辑的!
机译:是否准备升学:通过英语同时入学计划衡量大学的准备情况。
机译:逻辑连接词调节对链接在一起的组件所引起的仿真的关注
机译:准备进行并发模拟:这是合乎逻辑的!