位置：成果数据库 > 期刊 > 期刊详情页
Test Case Generation from Formal Models of Cyber Physical System
  • 期刊名称：International Journal of Hybrid Information Techno
  • 时间：2013.5.5
  • 页码：15-24
  • 相关项目：非Tarski模型定理机器证明
作者： Lichen Zhang|Jifeng He|Wensheng Yu|
同期刊论文项目
非Tarski模型定理机器证明
期刊论文 16 会议论文 7
同项目期刊论文
线性系统的同时镇定问题
Rotation stimation for obile obot ased on ingle-axis gyroscope and monocular camera
基于微分动态逻辑的铁路道口控制分析
Rotation Estimation for Mobile Robot Based on Single-axis Gyroscope and Monocular Camera
Family of blind source separation methods based on generalised constant modulus criterion
传感网中的四锚点节点定位实解个数分析
特定消谐脉宽调制开关角度的实解个数
基于AADL的无线传感器网络的建模与分析