SPE
13 years 22 days 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
13 years 22 days ago
2011 SPE
13 years 22 days ago
2011 SPE
13 years 22 days ago
2011 |