Building Traceable Event-B Models from Requirements


Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements At Automated Verification of Critical Systems (AVoCS 2013).

Download

[img] PDF avocs2013_submission_26-2.pdf - Other
Download (583kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Automated Verification of Critical Systems (AVoCS 2013), 2013-08-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 360315
Date :
Date Event
August 2013Published
Date Deposited: 04 Dec 2013 10:55
Last Modified: 23 Feb 2017 01:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/360315

Actions (login required)

View Item View Item