登陆
注册
工具列表
Tool list
Rodin
2020-06-01
65
-
Augmenting Event-B modelling with real-time verification
A large number of dependable embedded systems have stringent real-time requirements imposed on them....
-
Automatic code generation from event-B models
This paper presents a translation tool that automatically generates efficient target programming lan...
-
An Experience of Using Event-B/RODIN in Japan
DSF Activities
