A Practical Approach for Closed Systems Formal Verification Using Event-B


Bicknell, Brett, Reis, Jose, Butler, Michael, Colley, John and Snook, Colin (2012) A Practical Approach for Closed Systems Formal Verification Using Event-B At 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). , pp. 323-332.

Download

[img] PDF sefm2012_submission_38.pdf - Other
Download (274kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), 2012-01-01
Organisations: Electronic & Software Systems
ePrint ID: 357354
Date :
Date Event
2012Published
Date Deposited: 24 Sep 2013 12:17
Last Modified: 17 Apr 2017 14:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/357354

Actions (login required)

View Item View Item