Mandatory and Potential Choice: Comparing Event-B and STAIRS

From Action Systems to Distributed Systems ◽

10.1201/b20053-4 ◽

2016 ◽

pp. 15-27

Author(s):

Atle Refsdal ◽

Ragnhild Runde ◽

Ketil Stølen

Download Full-text