首页> 外文OA文献 >Design and Verification of Distributed Multi-media Systems

【2h】

Design and Verification of Distributed Multi-media Systems

机译：分布式多媒体系统的设计与验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Design and Evaluation of a High Performance Distributed Expert System (HPDES) for Aerospace Ground Verification System [J] . Yang Gao, Ying Liu, Cheng Wang, Procedia Computer Science . 2012,第1期

机译：航空航天地面验证系统高性能分布式专家系统（HPDES）的设计和评估
2. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [J] . S. Grizalis, D. Spinellis, P. Georgiadis Computer Communications . 1999,第8期

机译：开放网络和分布式系统上的安全协议：用于分析，设计和验证的正式方法
3. Distributed Embedded Control System Design with Verification Support [J] . I. V. Shoshmina Automatic Control and Computer Sciences . 2011,第7期

机译：具有验证支持的分布式嵌入式控制系统设计
4. Design and Verification of Distributed Multi-media Systems [C] . David Akehurst, John Derrick, A. Gill Waters IFIP WG 6.1 international conference on formal methods for open object-based distributed systems . 2003

机译：分布式多媒体系统的设计与验证
5. Performance evaluation of distributed algorithms for verification of global predicates in distributed systems [D] . Joo, Jang. 1996

机译：用于验证分布式系统中全局谓词的分布式算法的性能评估
6. Design Analysis and Verification of an Electro- Hydrostatic Actuator for Distributed Actuation System [O] . Yang Li, Zongxia Jiao, Zimeng Wang 2020

机译：分布式执行系统中的电动静液压执行机构的设计分析和验证
7. Design and Verification of Distributed Multi-media Systems [O] . Akehurst David H., Derrick John, Waters A. Gill 2003

机译：分布式多媒体系统的设计与验证
8. Specification, Design and Verification of Distributed Embedded Systems [R] . 2010

机译：分布式嵌入式系统的规范，设计和验证

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号