Teknik og materialevidenskab
Model checking
100%
Real time systems
38%
Semantics
32%
Specifications
31%
Petri nets
30%
Computability and decidability
30%
Controllers
29%
Statistical Models
26%
Algebra
24%
Scheduling
23%
Markov processes
18%
Testing
18%
Network protocols
17%
Markov chains
13%
Data storage equipment
13%
Costs
12%
Communication
12%
Chemical analysis
12%
Bayesian networks
12%
Uncertainty
11%
Hybrid systems
11%
Machine learning
10%
Temporal logic
10%
Embedded systems
10%
Web services
9%
Robots
9%
Acoustic waves
9%
Clocks
8%
Power markets
8%
Cyber Physical System
8%
Experiments
8%
Computer hardware
8%
Automation
8%
Computer programming languages
7%
Set theory
7%
Polynomials
7%
Industry
7%
Syntactics
7%
Wind turbines
7%
Farms
7%
Dynamical systems
6%
Middleware
6%
Sensors
6%
Scalability
6%
Synchronization
6%
Software defined networking
6%
Switches
6%
Probability distributions
6%
Data streams
5%
Pumps
5%
Formal verification
5%
Embedded software
5%
Observability
5%
Labels
5%
Finite automata
5%
Model predictive control
5%
Actuators
5%
Modeling languages
5%
Satellites
5%
Ventilation
5%
Microgrids
5%
Data structures
5%
Big data
5%
Planning
5%
Multiprotocol Label Switching
5%
Internet
5%
Monitoring
5%
Renewable energy resources
5%
Explosions
5%
Formal methods
5%
Heating
5%
Matematik
Timed Automata
32%
Transition Systems
20%
Model Checking
13%
Logic
12%
Real-time
10%
Abstraction
10%
Specification
9%
Axiomatization
9%
Semantics
9%
Model
9%
Synthesis
8%
Petri Nets
8%
Reachability
8%
Refinement
7%
Markov chain
7%
Decidability
7%
Equivalence
6%
Metric
6%
State Space
6%
Arc of a curve
6%
Game
6%
Markov Process
6%
Controller
5%
Framework
5%
Measurable space
5%
Automata
5%
Stochastic Systems
5%
Modal Logic
5%