126
click to vote
SPE
14 years 4 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
SPE
14 years 4 months ago
2011 SPE
14 years 4 months ago
2011 SPE
14 years 4 months ago
2011 |