dc.contributor.author | Kelefouras, V | |
dc.date.accessioned | 2024-01-19T15:10:03Z | |
dc.date.available | 2024-01-19T15:10:03Z | |
dc.identifier.uri | https://pearl.plymouth.ac.uk/handle/10026.1/21925 | |
dc.title | XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems | |
dc.type | conference | |
plymouth.conference-name | Design, 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.dateAccepted | 2024-01-16 | |
dc.date.updated | 2024-01-19T15:10:03Z | |
dc.rights.embargoperiod | forever | |