Lectures on Modelling and Verification in Event-B


Butler, Michael (2016) Lectures on Modelling and Verification in Event-B At Spring School on Engineering Trustworthy Software Systems 2016, China.

Download

[img] PDF Lecture 1.pdf - Other
Download (2MB)
[img] PDF Lecture 2.pdf - Other
Download (96kB)
[img] PDF Lecture 3.pdf - Other
Download (572kB)
[img] PDF Lecture 4.pdf - Other
Download (772kB)
[img] PDF Lecture 5.pdf - Other
Download (789kB)
[img] Archive (ZIP) SETSSexamples.zip - Other
Download (146kB)
Item Type: Conference or Workshop Item (Other)
Venue - Dates: Spring School on Engineering Trustworthy Software Systems 2016, China, 2016-03-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 390481
Date :
Date Event
March 2016Published
Date Deposited: 29 Mar 2016 07:18
Last Modified: 17 Apr 2017 03:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/390481

Actions (login required)

View Item View Item