3 citations · 3 across the 1 of their papers we have counts for
1 paper
Renato Silva
In this document we share the experiences gained throughout the development of a metro system case study. The model is constructed in Event-B using its respective tool set, the Rod…