Show simple item record

dc.contributor.authorKelefouras, V
dc.date.accessioned2024-01-19T15:10:03Z
dc.date.available2024-01-19T15:10:03Z
dc.identifier.urihttps://pearl.plymouth.ac.uk/handle/10026.1/21925
dc.titleXANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
dc.typeconference
plymouth.conference-nameDesign, Automation and Test in Europe (DATE)
plymouth.organisational-group|Plymouth
plymouth.organisational-group|Plymouth|Faculty of Science and Engineering
plymouth.organisational-group|Plymouth|Faculty of Science and Engineering|School of Engineering, Computing and Mathematics
plymouth.organisational-group|Plymouth|REF 2021 Researchers by UoA
plymouth.organisational-group|Plymouth|Users by role
plymouth.organisational-group|Plymouth|Users by role|Academics
plymouth.organisational-group|Plymouth|REF 2021 Researchers by UoA|UoA11 Computer Science and Informatics
plymouth.organisational-group|Plymouth|REF 2028 Researchers by UoA
plymouth.organisational-group|Plymouth|REF 2028 Researchers by UoA|UoA11 Computer Science and Informatics
dcterms.dateAccepted2024-01-16
dc.date.updated2024-01-19T15:10:03Z
dc.rights.embargoperiodforever


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


All items in PEARL are protected by copyright law.
Author manuscripts deposited to comply with open access mandates are made available in accordance with publisher policies. Please cite only the published version using the details provided on the item record or document. In the absence of an open licence (e.g. Creative Commons), permissions for further reuse of content should be sought from the publisher or author.
Theme by 
Atmire NV