Keyword:RODIN tool

Publications
Event-B Based Formal Modeling of a Controller: a Case Study Rahul Karmakar, Bidyut Biman Sarkar and Nabendu Chaki EasyChair Preprint 2599