Modeling in Event-B 论文

2010Cambridge University Press eBooks引用 1209
DOI
Formal Methods in VerificationDistributed systems and fault toleranceEmbedded Systems Design Techniques
Distributed systems and fault toleranceFormal Methods in VerificationEmbedded Systems Design Techniques
相关技术:Formal Methods in Verification
关系图谱

Modeling in Event-B · 相关文章

暂无数据