位置：成果数据库 > 期刊 > 期刊详情页
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
  • 期刊名称：International Journal of Multimedia and Ubiquitous
  • 时间：2013.7.7
  • 页码：-
  • 相关项目：信息物理融合系统的基础研究
作者： Zhang Lichen|He Jifeng|Yu Wensheng|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 10 会议论文 55 获奖 1 专利 1
同项目期刊论文
Algebraic Approach to Linking the Semantics of Web Services
Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Inter
An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking
三值逻辑证明系统及正例与反例的提取
Efficient controller synthesis for a fragment of \(\hbox {MTL}_{0, \infty }\)
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Lang