Teknik og materialevidenskab
Model checking
100%
Semantics
67%
Static analysis
57%
Specifications
48%
Open source software
41%
Syntactics
41%
Linux
40%
Formal methods
40%
Modeling languages
37%
Software engineering
34%
Explosions
30%
Real time systems
29%
Channel capacity
27%
Costs
25%
Cloning
24%
Glass
23%
Acoustic waves
23%
Network protocols
23%
Robots
23%
Computer programming languages
22%
Experiments
22%
Robotics
22%
Chemical analysis
22%
Data flow analysis
21%
Taxonomies
20%
Remotely operated vehicles
19%
Pattern matching
16%
Modernization
16%
Data Analytics
16%
Risk analysis
16%
Markov chains
16%
Machine learning
15%
Markov processes
15%
Visualization
15%
Navigation
15%
Electric network analysis
15%
Information retrieval
14%
Flow graphs
13%
Social aspects
12%
Redundancy
12%
Entropy
12%
Repair
12%
Routing protocols
11%
Automation
11%
Copying
11%
Ethical aspects
11%
Health
10%
Cameras
10%
Quality assurance
10%
Testing
10%
Matematik
Feature Model
49%
Abstraction
46%
Language
42%
Leakage
38%
Metamodel
37%
Real-time
33%
Specification
33%
Feature Modeling
32%
Channel Capacity
30%
Model
27%
Synthesis
26%
Modeling Language
26%
Modeling
22%
Safety
21%
Software Product Lines
21%
Game
20%
Timed Automata
19%
Tracing
18%
Refinement
18%
Model Checking
16%
Software System
16%
Metamodeling
15%
Design
14%
Semantics
14%
Routing Protocol
14%
Onion
14%
Controller
14%
Markov Process
13%
Quantitative Evaluation
13%
Configuration
13%
Automata
13%
Software Components
12%
Correctness
12%
Entropy
12%
Line
11%
Attack
11%
Template
11%
Markovian Process
11%
State Space
10%
Family
10%
Quantification
9%
Domain-specific Languages
9%
Programming Languages
9%
Express
9%
Explosion
8%
Design Process
8%
Framework
7%
Vision
7%
Robustness
7%
Markov chain
7%
