Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B 论文

2007引用 222
DOI
Formal Methods in VerificationLogic, programming, and type systemsParallel Computing and Optimization Techniques
Parallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in Verification
相关技术:Parallel Computing and Optimization TechniquesFormal Methods in Verification
关系图谱

2

作者

2

相关技术

0

相关事件

0

相关文章

摘要

<br/>

作者查看全部 (2)

S

Stefan Hallerstede

J

Jean-Raymond Abrial

相关技术查看全部 (2)

Parallel Computing and Optimization TechniquesFormal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据