Engineering & Materials Science
Model checking
100%
Temporal logic
95%
Security of data
81%
Testing
47%
Probabilistic logics
40%
Air
36%
Application programs
35%
Multi agent systems
31%
Formal verification
30%
Communication
30%
Testbeds
28%
Acoustic waves
26%
Automotive industry
25%
Formal methods
25%
Computability and decidability
25%
Bluetooth
24%
Data storage equipment
24%
Semantics
20%
Machine learning
19%
Coating techniques
18%
Intelligent agents
15%
Modeling languages
14%
Malware
14%
Coastal zones
14%
Smart city
14%
Autonomous vehicles
14%
Intrusion detection
13%
Gas emissions
13%
System-on-chip
13%
Greenhouse gases
13%
Simulators
12%
Environmental impact
12%
Network architecture
12%
Engineers
12%
Profitability
11%
Rails
11%
Demonstrations
10%
Automobiles
9%
Data privacy
9%
Chemical analysis
8%
Specifications
8%
Computer hardware
7%
Monitoring
7%
Derailments
6%
Flavors
5%
Scalability
5%
Launching
5%
Mathematics
Resources
36%
Attack
29%
Coalitions
27%
Logic
26%
Update
25%
Temporal Logic
22%
Model Checking
21%
Testing
18%
Railway
18%
Template
15%
Model-based
14%
Modeling
10%
Framework
10%
Reasoning
9%
Safety
7%
Testbed
7%
Automobile
7%
Axiomatization
6%
Sound
5%
User Experience
5%
Business & Economics
Digital Transformation
15%
Service Economy
15%
Apps
14%
Collusion
14%
Train
10%
Car
10%
Model Checking
9%
Software
8%
Rail Network
8%
Automated Vehicle
7%
Productivity
7%
Operator
6%
Motorway
6%
Data Envelopment Analysis
6%
Operational Efficiency
6%
Rail
5%
Monitoring
5%
Distrust
5%