Maple, Carsten, Bradbury, Matthew S., Yuan, Hu, Farrell, Marie, Dixon, Clare, Fisher, Michael and Atmaca, Ugur Ilker (2019) Security-minded verification of space systems. In: IEEE Aerospace Conference 2020 (AeroConf 2020), Montana, USA, 7-14 Mar 2020 (In Press)

Preview

PDF WRAP-security-minded-verification-space-systems-Maple-2020.pdf - Accepted Version - Requires a PDF viewer. Download (3289Kb) | Preview

Request Changes to record.

Item Type:	Conference Item (Paper)
Subjects:	T Technology > TK Electrical engineering. Electronics Nuclear engineering
Divisions:	Faculty of Science > WMG (Formerly the Warwick Manufacturing Group)
Library of Congress Subject Headings (LCSH):	Wireless communication systems -- Security measures, Mobile communication systems, Remote sensing, Artificial intelligence, Internet of things -- Security measures
Publisher:	IEEE
Official Date:	13 November 2019
Dates:	Date Event 13 November 2019 Accepted
Date of first compliant deposit:	16 January 2020
Status:	Peer Reviewed
Publication Status:	In Press
Publisher Statement:	© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Access rights to Published version:	Restricted or Subscription Access
RIOXX Funder/Project Grant:	Project/Grant ID RIOXX Funder Name Funder ID EP/R026092 UK Research and Innovation http://dx.doi.org/10.13039/100014013
Conference Paper Type:	Paper
Title of Event:	IEEE Aerospace Conference 2020 (AeroConf 2020)
Type of Event:	Conference
Location of Event:	Montana, USA
Date(s) of Event:	7-14 Mar 2020
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads