Innovative Approach for Requirements Verification of Closed Systems
Innovative Approach for Requirements Verification of Closed Systems
Reis, Jose
a0b1d08a-d343-4387-ae9f-55311274934d
Bicknell, Brett
1263034a-e0ac-4d95-83f2-57ddff49b913
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
February 2014
Reis, Jose
a0b1d08a-d343-4387-ae9f-55311274934d
Bicknell, Brett
1263034a-e0ac-4d95-83f2-57ddff49b913
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Colley, John
d2877837-a2f2-4f84-b3f3-3ffe79ffeb87
Reis, Jose, Bicknell, Brett, Butler, Michael and Colley, John
(2014)
Innovative Approach for Requirements Verification of Closed Systems.
Embedded Real-time software and systems (ERTSS 2014).
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: February 2014
Venue - Dates:
Embedded Real-time software and systems (ERTSS 2014), 2014-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 364603
URI: http://eprints.soton.ac.uk/id/eprint/364603
PURE UUID: e6feb954-dc03-4c48-bd54-9fd27a720fed
Catalogue record
Date deposited: 01 May 2014 14:49
Last modified: 12 Dec 2021 02:54
Export record
Contributors
Author:
Jose Reis
Author:
Brett Bicknell
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