机译:离散事件系统的事件传递通信分散式主管的建模与综合
机译:通信延迟下离散事件系统的可靠分散监控器:存在性和验证性
机译:当主管观察到特定事件发生时,离散事件系统的分散控制
机译:离散事件系统分散监事中的正式建模与综合传输通信
机译:离散事件系统的通信分散管理器的综合及其在通信协议综合中的应用。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:离散事件系统的通信分散管理器的综合及其在通信协议综合中的应用
机译:自动代理系统综合的形式对象状态模型转换