Request a copyRequest a copy Repository Statistics Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Serpanos, Dimitrios and Shrobe, Howard (2021) Towards scalable security of real-time applications: a formally certified approach. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE Xplore . Institute of Electrical and Electronics Engineers (IEEE), Piscataway, New Jersey, 01-04. ISBN 978-1728129907; 978-1728129891 (doi:10.1109/ETFA45728.2021.9613489) PDF (Accepted paper (IEEE)) 41629_KHAN_Towards_Scalable_Security_of_Real-time_Applications_A_Formally_Certified_Approach.pdf - Accepted Version Restricted to Registered users only 688kB Email addressEnter your email address.ReasonPlease enter a reason for your request.