Engineering & Materials Science
Model checking
100%
Statistical Models
30%
Specifications
25%
Fault tree analysis
21%
Formal methods
20%
Markov processes
16%
Semantics
14%
Testing
14%
Formal verification
13%
Modeling languages
12%
Temporal logic
12%
Binary decision diagrams
12%
Markov chains
10%
Scalability
9%
Formal specification
9%
Data storage equipment
9%
Explosions
9%
Specification languages
9%
Polynomials
8%
Computer science
8%
Synchronization
8%
Data structures
7%
Algebra
7%
Chemical analysis
7%
Software engineering
7%
Acoustic waves
7%
Parallel algorithms
7%
Experiments
7%
Costs
7%
Scheduling
6%
Computer programming languages
6%
Hamiltonians
6%
Reinforcement learning
6%
Industry
6%
Teaching
6%
Petri nets
5%
Network protocols
5%
Doping (additives)
5%
Graphics processing unit
5%
Nanoelectronics
5%
Availability
5%
Mathematics
Graph in graph theory
27%
Edge-colored Graph
20%
Fault Tree
16%
Degree Condition
12%
Toughness
11%
Hamiltonicity
11%
Subgraph
10%
Model Checking
10%
Cycle
9%
Ramsey number
9%
Claw-free Graphs
8%
Connected graph
8%
Vertex of a graph
7%
Model
7%
Degree Sum
7%
Fault Tree Analysis
7%
Traceability
7%
Complete Graph
7%
Forbidden Subgraph
6%
Rare Event Simulation
6%
Hamilton Cycle
6%
Modeling
5%
Color
5%
Sufficient Conditions
5%
Formal Methods
5%
Safety
5%
Benchmark
5%