Distributed systems; automated design; emergent behavior; message sequence chart; requirements verification;
机译:使用基于场景的规范检测分布式系统中的紧急行为
机译:基于状态扩展的技术,用于在分布式系统中合成并发协议规范
机译:用于基于模型的开放式分布式系统规范的工具
机译:使用基于场景的规范检测分布式系统紧急行为的技术和工具
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:座谈会论文自适应代理情报和新兴人类组织:通过基于代理的建模捕获复杂性:为复杂和不确定的系统制定策略的工具和技术
机译:基于场景的结构动态网络物理系统规范的分布式执行