位置：成果数据库 > 期刊 > 期刊详情页
Algebraic Approach to Linking the Semantics of Web Services
  • 期刊名称：International Journal of Innovations in Systems an
  • 时间：2011.9.9
  • 页码：209-224
  • 相关项目：信息物理融合系统的基础研究
作者： Zhu Huibiao|He Jifeng|Li Jing|Jonathan P. Bowen|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 10 会议论文 55 获奖 1 专利 1
同项目期刊论文
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
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Lang