位置：成果数据库 > 会议 > 会议详情页
Formal Semantics of Orc Based on TLA(+)
  • 所属机构名称：江西师范大学
  • 会议名称：4th International Workshop on Structured Object-Oriented Formal Language (SOFL) + Modeling, Simulati
  • 时间：2015
  • 成果类型：会议
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
同会议论文项目
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
同项目会议论文
An approach of verifying service composition based on Hierarchical Timed Automata
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