位置：成果数据库 > 会议 > 会议详情页
On Denotational Demantics of Spatial-Temporal Consistency Language STeC
  • 所属机构名称：华东师范大学
  • 会议名称：7th International Symposium on Theoretical Aspects of Software Engineering
  • 时间：2013.6.1
  • 成果类型：会议
  • 相关项目：状态转换系统的格值量化验证方法研究
同会议论文项目
状态转换系统的格值量化验证方法研究
期刊论文 9 会议论文 5
同项目会议论文
On Reachability Analysis of Pushdown Systemswith Transductions: Application to Boolean Programs wit
Stability of Software Trustworthiness Measurements Models
A Proof System in PADS
ProbabilisticModel Checking for Pipe Protocol