A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems
43-56
Wilkinson, Toby
c711a6aa-a538-4b99-9048-3812a14d27a4
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
2014
Wilkinson, Toby
c711a6aa-a538-4b99-9048-3812a14d27a4
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
Wilkinson, Toby, Butler, Michael and Colley, John
(2014)
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.
Model-Based Safety and Assessment - 4th International Symposium, {IMBSA} 2014, Munich, Germany, October 27-29, 2014. Proceedings.
.
(doi:10.1007/978-3-319-12214-4_4).
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2014
Venue - Dates:
Model-Based Safety and Assessment - 4th International Symposium, {IMBSA} 2014, Munich, Germany, October 27-29, 2014. Proceedings, 2014-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 378507
URI: http://eprints.soton.ac.uk/id/eprint/378507
PURE UUID: 0c47488d-e0cc-4b1f-b96a-61d92b31ef10
Catalogue record
Date deposited: 29 Jun 2015 08:39
Last modified: 15 Mar 2024 02:50
Export record
Altmetrics
Contributors
Author:
Toby Wilkinson
Author:
Michael Butler
Author:
John Colley
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.
View more statistics