位置：成果数据库 > 期刊 > 期刊详情页
Aspect-Oriented Formal Techniques of Cyber Physical Systems
  • 期刊名称：国际杂志Journal of Software(EI收录号:20121814988411)
  • 时间：2012
  • 页码：823-834
  • 相关项目：信息物理融合系统的多维分析与设计方法
作者： Lichen Zhang|
同期刊论文项目
信息物理融合系统的多维分析与设计方法
期刊论文 14 会议论文 61
同项目期刊论文
Aspect-Oriented QoS Modeling for Cyber-Physical Systems
Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Base
Determining Pattern Similarity in a Medical Recommender System
Analysis and design of railway communication control system based AADL
Specification of Cyber Physical Systems Based on Clock Theory
信息物理融合系统的动态多优先级调度
Modeling Vehicle Dynamics Based on Modelica
改进的室内三维模糊位置指纹定位算法
一种面向移动终端的云存储方法研究
基于多叉树搜索算法改进的RFID防碰撞算法