位置：成果数据库 > 会议 > 会议详情页
An approach of verifying service composition based on Hierarchical Timed Automata
  • 所属机构名称：江西师范大学
  • 会议名称：6th International Workshop on Harnessing Theories for Tool Support in Software, 2013 (TTSS 2013)
  • 时间：2013
  • 成果类型：会议
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
同会议论文项目
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
同项目会议论文
Formal Semantics of Orc Based on TLA(+)
Research on a new abstract programming language for generic constraints
Researchon Formal Development ofNon-recursive Algorithms of Graph Search
An approach of verifying service composition based on Hierarchical Timed Automata
A generative approach to searching algorithmic programs development
A reputation model based on hierarchical bayesian estimation for Web services