位置：成果数据库 > 会议 > 会议详情页
Modeling and quantifying the dependability based on PEPA
  • 所属机构名称：桂林电子科技大学
  • 会议名称：Future Computer and Control Systems, FCCS 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：基于抽象和符号技术的并发软件验证研究
作者： Guo, Yunchuan1, 3, 4|Zhang, Dongyan2|Yin, Lihua1|Qian, Junyan3|
同会议论文项目
基于抽象和符号技术的并发软件验证研究
期刊论文 25 会议论文 6 专利 2
同项目会议论文
Semantic Web Service Composition: From OWL-S to Answer Set Programming
ALCIR+ Reasoning for Semantic Web Services Composition
WSSecTool: A web service security analysis tool based on program slicing
Event calculus-based adaptive services composition policy for AmI systems
Utility-based Cooperative Decision in Cooperative Authentication