位置：成果数据库 > 期刊 > 期刊详情页
An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking
  • ISSN号：1674-733X
  • 期刊名称：Science China Information Sciences
  • 时间：2012.12.12
  • 页码：2694-2707
  • 相关项目：信息物理融合系统的基础研究
作者： Alexandre David|Du Dehui|Kim G. Larsen|Marius Mikucionis|Arne Skou|
同期刊论文项目
信息物理融合系统的基础研究
期刊论文 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
三值逻辑证明系统及正例与反例的提取
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