9 citations · 13 across the 3 of their papers we have counts for
1 paper · 2 filters
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…