Jean-Raymond Abrial 人物
相关论文查看全部 (3)
Modeling in Event-B
2010Cambridge University Press eBooks引用 1209
Rodin: an open toolset for modelling and reasoning in Event-B
2010International Journal on Software Tools for Technology Transfer引用 670
相关公司查看全部 (3)
Délégation Provence et CorseGOVERNMENT
ETH ZurichUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据