Edmunds, Andrew, Olszewska, Marta and Walden, Marina (2016) Using the Event-B formal method for disciplined agile delivery of safety-critical systems. The Second International Conference on Advances and Trends in Software Engineering: SOFTENG 2016, Lisbon, Portugal. 21 - 25 Feb 2016. 9 pp .
Record type:
Conference or Workshop Item
(Paper)
Text
inpEdOlWa16a.full.pdf
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (924kB)
More information
Accepted/In Press date: 2 December 2015
e-pub ahead of print date: February 2016
Venue - Dates:
The Second International Conference on Advances and Trends in Software Engineering: SOFTENG 2016, Lisbon, Portugal, 2016-02-21 - 2016-02-25
Related URLs:
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 397196
URI: http://eprints.soton.ac.uk/id/eprint/397196
PURE UUID: 6e51de32-fdd2-4284-b475-460bcf7dc58b
Catalogue record
Date deposited: 22 Jun 2016 09:18
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Andrew Edmunds
Author:
Marta Olszewska
Author:
Marina Walden
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.