位置：成果数据库 > 期刊 > 期刊详情页
混成MARTE状态图
  • 期刊名称：Froniter of computer science
  • 时间：0
  • 页码：34-45
  • 相关项目：服务构件安全协同建模与验证方法研究
作者： Jing Liu|
同期刊论文项目
服务构件安全协同建模与验证方法研究
期刊论文 4 会议论文 10 专利 1
同项目期刊论文
an evaluation framework for energy-aware building using statistical model checking
基于环境的多形态时间需求建模方法