位置：成果数据库 > 会议 > 会议详情页
Verification of Temporal Properties of Hybrid Systems Using dMTL
  • 所属机构名称：南京审计学院
  • 会议名称：PSI 2014: ERSHOV INFORMATICS CONFERENCE
  • 时间：2014.6.24
  • 成果类型：会议
  • 相关项目：文本多粒度关系抽取半监督自适应学习的研究
同会议论文项目
文本多粒度关系抽取半监督自适应学习的研究
期刊论文 8 会议论文 3
同项目会议论文
New Feature Selection Methods Based on Context Similarity for Text Categorization
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems