位置：成果数据库 > 会议 > 会议详情页
Verifying Choreographic Descri
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：基于构件的高可信系统形式验证研究
作者： W.L.Yeung, Ji Wang, Wei Dong
同会议论文项目
基于构件的高可信系统形式验证研究
期刊论文 15 会议论文 12
同项目会议论文
A Contract-based Approach to S
Improvements Towards Formalizi
Configuration-Oriented Symboli
Towards Formal Interfaces for
Property-Oriented Testing of R
Interface Theory based Formali
An Interface Theory Based Appr
Contract-based Formal Specific
2/3 Alternating Simulation Bet
Reverse Observation Equivalenc
Bridging Refinement of Interfa