Timed Automata for Security of Real-Time Systems

Panagiotis Vasilikos

Research output: Book/ReportPh.D. thesis

84 Downloads (Pure)

Fingerprint

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

Engineering & Materials Science