130
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...