位置：成果数据库 > 期刊 > 期刊详情页
Continuous KAOS, ASM, and Formal Control System Design Across the Continuous/Discrete Modeling Inter
  • ISSN号：0934-5043
  • 期刊名称：Formal Aspects of Computing
  • 时间：2012.10.10
  • 页码：-
  • 相关项目：信息物理融合系统的基础研究
作者： Richard Banach|Zhu Huibiao|Su Wen|Huang Runlei|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 10 会议论文 55 获奖 1 专利 1
同项目期刊论文
Algebraic Approach to Linking the Semantics of Web Services
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