...
机译:层次并行控制器中的谓词构造问题
Computer Engineering & Electronics Department, University of Zielona Gora, Licealna 9,65-417 Zielona Gora, Poland;
Binary control system; statechart diagrams; hierarchy; concurrency; conflicting transitions; Boolean predicates; computational complexity; compatibility classes; clique problem;
机译:将分层谓词转换网转换为CC ++程序
机译:具有无DFT控制器-数据路径接口的电路的快速分层测试路径构建
机译:具有高容量和长寿命锂存储的三维分层管状过渡金属氧化物核/壳异质结构的智能构造
机译:使用分层谓词转换网测试GUI的基于模型方法
机译:状态和动作抽象对并发,干扰,非突发性任务的控制器开发的影响。
机译:通过水平匹配的遗传信号扩增设计和构建通用的RNA-蛋白质杂交控制器
机译:基于并行Prolog的谓词/过渡网模拟(软件科学与工程)
机译:度量谓词变换器:实现并发的细化概念