位置：成果数据库 > 会议 > 会议详情页
Decomposing Automatic Train Control Verification System with Projection
  • 所属机构名称：华东师范大学
  • 会议名称：The 22rd Asica Pacific Software Engineering Conference (APSEC)
  • 时间：2015.12.4
  • 成果类型：会议
  • 相关项目：基于环境的信息物理系统时空需求建模方法研究
同会议论文项目
基于环境的信息物理系统时空需求建模方法研究
期刊论文 14 会议论文 10
同项目会议论文
TimePF: A Tool for Modeling and Verifying Timing Requirements based on Problem Frames
Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic
Improving Testing Coverage for Safety-critical System by Mutated Speci？cation
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach
Towardsa Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
Problem Frames Construction from Feature Models
Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approa
An approach to communicating process modeling of MARTE
Deriving Requirements Specification With Time: A Software Environment Ontology based Approach