Engineering & Materials Science
Model checking
100%
Petri nets
49%
Markov chains
35%
Queueing networks
22%
Ad hoc networks
18%
Random processes
17%
Scheduling
15%
Stochastic models
14%
Statistical Models
14%
Embedded systems
12%
Semantics
12%
Specifications
11%
Importance sampling
9%
Power management
9%
Smart power grids
9%
Algebra
9%
Quality of service
8%
Satellites
8%
Outages
8%
World Wide Web
8%
Communication systems
7%
Specification languages
7%
Computer systems
7%
Markov processes
7%
X rays
7%
System of systems
6%
Servers
6%
Communication
6%
Critical infrastructures
6%
Image processing
6%
Mobile computing
6%
Transient analysis
6%
Medical imaging
6%
Intrusion detection
6%
Availability
6%
Cyber Physical System
6%
Discrete event simulation
6%
Parallel algorithms
5%
Network protocols
5%
Mathematical operators
5%
Secondary batteries
5%
Fault tolerant computer systems
5%
Imaging systems
5%
Systems analysis
5%
Orbits
5%
HTTP
5%
Formal methods
5%
Industry
5%
SCADA systems
5%
Electric network analysis
5%
Mathematics
Model Checking
20%
Performability
18%
Survivability
11%
Performance Evaluation
9%
Evaluation
9%
Reward
9%
Performance Modeling
8%
Model
7%
Dependability
7%
Reachability
5%
Markov chain
5%
Modeling
5%
Distributed Algorithms
5%
Power Management
5%
Logic
5%
Stochastic Petri Nets
5%
