最近老公在上网络安全的课,课上老师提到了event-B,感觉是完全没见过的领域,记录在这里学习下.
Event-B is an evolution of B-Method developed by Jean-Raymond Abrial, 这位大神来自MS研究院,80+的教授了
最近老公在上网络安全的课,课上老师提到了event-B,感觉是完全没见过的领域,记录在这里学习下.
Event-B is an evolution of B-Method developed by Jean-Raymond Abrial, 这位大神来自MS研究院,80+的教授了