Timed Automata for Security of Real-Time Systems

Panagiotis Vasilikos

Research output: Book/ReportPh.D. thesis

84 Downloads (Pure)
Filter
Finished

Search results