Timed Automata for Security of Real-Time Systems

Panagiotis Vasilikos

Research output: Book/Report › Ph.D. thesis

246 Downloads (Orbit)

1 results

Finished
Abstract Interpretation for Secure Information Flow
Vasilikos, P. (PhD Student), Nielson, F. (Supervisor), Hansen, M. R. (Examiner), Viganò, L. (Examiner), Aceto, L. (Examiner) & Nielson, H. R. (Main Supervisor)
Samfinansieret - Andet
01/09/2016 → 09/09/2020
Project: PhD