位置：成果数据库 > 期刊 > 期刊详情页
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Lang
  • 期刊名称：The Journal of Logic and Algebraic Programming
  • 时间：2012.1.1
  • 页码：2-25
  • 相关项目：信息物理融合系统的基础研究
作者： Zhu Huibiao|Yang Fan|He Jifeng|Jeff W. Sanders|Jonathan P. Bowen|Qin Shengchao|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 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 }\)
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach