Towards a Methodology to Design Provably Secure Cyber-physical Systems

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rollini, Isaac Admundson

Journal title: ACM SIGAda Ada Letters

Journal number: 43:1

Journal publisher: ACM Digital Library

Published year: 2023

DOI identifier: 10.1145/3631483.3631499