机译:具有本体,规则和消息传递机制的分布式系统行为建模
Distributed System ModelingOntologiesRule CheckingJena API;
机译:分布式制造系统中消息传递的建模和分析
机译:通过Java中的消息传递对异步通信的分布式系统实体进行建模
机译:分布式消息传递系统中的并发确定性1-2跳过列表
机译:用本体,规则和消息传递机制建模分布式系统行为
机译:具有本体,规则和消息传递机制的城市系统分布式系统行为建模
机译:动态系统建模以确定具有类似行为机制的问题饮酒者的队列变化
机译:具有本体,规则和消息传递机制的分布式系统行为建模