Keyphrases
Timing System
100%
Timed Automata
100%
Formal Methods
100%
Distributed Real-time Systems
68%
Event-clock Automata
56%
Bisimulation
43%
Local Time
25%
Real-time Formalism
18%
Automata
18%
Temporal Logic
18%
Labelled Transition Systems
18%
Local Clock
18%
Distributed Events
18%
Language Inclusion
18%
Inclusion Problem
18%
State Space
12%
Timing Properties
12%
PSPACE-complete
12%
Undecidable
12%
Process Use
6%
Validity Problem
6%
Substitution Principle
6%
Clock Drift
6%
Standard Semantics
6%
Clock Synchronization
6%
Satisfiability Problem
6%
Real Time Systems RTS
6%
Time Component
6%
Undecidability
6%
Hennessy-Milner Logic
6%
Behavioral Properties
6%
Finite Automata
6%
Timed Temporal Logic
6%
Atomic Proposition
6%
Global Clock
6%
Medical Systems
6%
Traffic Light Controller
6%
Refinement Techniques
6%
Systems-based
6%
Number of Components
6%
Classical Theory
6%
Action Sequence
6%
Distributed Clock
6%
Telecommunication Network
6%
EXPTIME-complete
6%
Modal Logic
6%
Event Model
6%
Sequential Behavior
6%
Everyday Life
6%
Expressiveness
6%
Time Measurement
6%
Computer Science
Timed Automaton
100%
Automaton
75%
Real Time Systems
75%
Temporal Logic
25%
Transition System
18%
State Space
12%
Machine Learning
12%
Recursive Model
6%
Telecommunication Network
6%
Independent Support
6%
Clock Synchronization
6%
Atomic Proposition
6%
Substitution Principle
6%
Traffic Light Controller
6%
Finite Automata
6%
Model Checking
6%
Distributed Model
6%
Efficient Algorithm
6%
Classical Theory
6%
INIS
verification
100%
real time systems
100%
inclusions
33%
specifications
16%
space
16%
levels
8%
values
8%
algorithms
8%
precision
8%
modeling
8%
proposals
8%
synchronization
8%
preservation
8%
aircraft
8%
constraints
8%