机译:AIDA工具集,用于分布式实时控制系统的设计和实现分析
Department of Machine Design, The Royal Institute of Technology (KTH), Stockholm 100 44, Sweden;
real-time system; implementation; specification;
机译:一个支持分布式实时控制系统设计和分析的建模框架
机译:用于验证实时分布式系统的组合工具集
机译:Bhave工具集:电子系统设计与系统控制的建模与分析
机译:迈向用于分布式实时控制系统的体系结构设计的工具集
机译:扩展的编程和设计:一种语言和工具集,用于在开发复杂的软件系统时集成需求,体系结构,设计和实现。
机译:2157.感染控制和医院流行病学中的随机分组试验的设计实施和分析注意事项:系统评价
机译:sEW:分布式实时系统设计和分析工具集