9 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Pontus Boström, Fredrik Degerlund, Kaisa Sere +1
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that…