...
机译:离散事件系统的即时可检测性
finite-state automatoninstant strong detectabilityinstant weak detectability;
机译:使用随机杂交系统建模蛋白质浓度
机译:
机译:基于柱空间求解多变量多项式方程系统的方法
机译:带有症状字典和情景的离散事件系统的事后诊断
机译:使用离散事件系统的监督控制,对实时系统的单处理器和多处理器调度进行形式化。
机译:易于Z-Score成像系统辅助SPECT检测发作年龄依赖性的脑血流量减少在后刺的皮层前塞米尔疾病中的癌症患者和淀粉样蛋白累积
机译:Symposium