SPE
12 years 12 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
12 years 12 months ago
2011 SPE
12 years 12 months ago
2011 SPE
12 years 12 months ago
2011 |