欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Object-Oriented MSVL and Its Application
所属机构名称:西安电子科技大学
会议名称:4th International Conference on Machine Vision (ICMV) - Machine Vision, Image Processing and Patte
时间:2011.12.12
成果类型:会议
相关项目:基于约束凸多面体和抽象加细技术的混合系统的模型检测
作者:
Xiaobing Wang|Zhenhua Duan|Cong Tian|Haibin Zhang|
同会议论文项目
基于约束凸多面体和抽象加细技术的混合系统的模型检测
期刊论文 22
会议论文 4
专利 1
同项目会议论文
Modeling composite web services based on object-oriented MSVL
Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron
A semantic model for many - core parallel computing