Computer Science
Analysis Technique
5%
Approximation Technique
6%
Biological System
23%
Case Study
5%
Checking Technique
13%
Computation
15%
Computation Time
6%
Computer Technology
46%
Conservative Assumption
6%
Continuous Time
15%
Database
5%
Deadlines
13%
Ellipsoid Method
9%
Embedded Application
6%
Expected Response
6%
Formal Verification
46%
Greedy Strategy
9%
Hybrid Automaton
5%
Linear Program
46%
Mathematical Modelling
46%
Model Checking
93%
Modern Software
46%
Nondeterministic Computation
6%
Optimal Solution
9%
Performance Analysis
6%
Polyhedron
6%
Polynomial Time
9%
Previous Method
46%
Reachability Problem
6%
Real World
5%
Response Time
13%
Schedulability Analysis
19%
Scheduler
6%
Software Systems
100%
Specific Domain
5%
Specific Interface
5%
State Space
18%
Statistical Model
73%
Stochastic System
5%
Time Markov Chain
15%
Timed Automaton
12%
Engineering
Algorithm
18%
Analytics
5%
Biological System
23%
Compute
18%
Continuous Time
15%
Discrete Time
15%
Hybrid Automaton
5%
Linear Program
46%
Optimal Solution
9%
Polynomial Time
9%
Statistical Model
46%
Stochastic System
5%
User Interface
5%