Timed Automata for Security of Real-Time Systems

Panagiotis Vasilikos

Research output: Book/ReportPh.D. thesis

246 Downloads (Orbit)

Fingerprint

Dive into the research topics of 'Timed Automata for Security of Real-Time Systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science