Rodin: an open toolset for modelling and reasoning in Event-B 论文

2010International Journal on Software Tools for Technology Transfer引用 670
DOI
Formal Methods in VerificationLogic, programming, and type systemsDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Rodin: an open toolset for modelling and reasoning in Event-B · 相关事件

暂无数据