2. 您的位置
3. 首页
4. 学位论文
5. 基于运行时验证的列控系统形式分析

基于运行时验证的列控系统形式分析

来源 :北京交通大学 | 被引量 : 1次 | 上传用户：JAVA_Star

【作 者】

：

柴铭 

【出 处】

：

北京交通大学

【发表日期】

：

2011年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

无线传感网网络再编程关键技术研究与实现

学位

测量数据延迟下的不完全量测滤波研究

学位

民间组织的欢迎精神对移民融入过程起到的作用——以罗马的意大利语语言学校CasadeiDirittiSociali为例

学位

基于自适应模糊核聚类的多模型软测量建模研究

学位

一种自适应内模控制算法的研究

学位

用于社区医院的无线心电监护系统研究与设计

学位

网络生活的伦理困境——基于康德哲学的网络生活伦理分析

期刊

无线传感器网络距离无关定位算法研究

学位

2015—2017年北京市朝阳区住宿类公共场所监测结果

期刊

全向移动康复机器人智能运动策略研究

学位