Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Timed Automata for Security of Real-Time Systems
Panagiotis Vasilikos
Embedded Systems Engineering
Department of Applied Mathematics and Computer Science
Research output
:
Book/Report
›
Ph.D. thesis
246
Downloads (Orbit)
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Timed Automata for Security of Real-Time Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Security Condition
100%
Locality-based
100%
Novel Translation
100%
Networks of Timed Automata
100%
Language Approach
100%
Leverage Approach
100%
Unstructured Control Flow
100%
Computer Science
Security Condition
85%