Computer Science
Case Study
100%
Cyber Physical Systems
88%
Temporal Logic
64%
Threat Analysis
62%
Formal Specification
52%
Automated Test
41%
runtime verification
33%
Modeling Threat
31%
Autonomous System
31%
Specification Mining
27%
Execution Trace
26%
Test Generation
26%
Threat Model
26%
Autonomous Driving
26%
Artificial Intelligence
26%
Application Domain
24%
Timing Diagram
20%
Multi Class Classification
20%
Multiclass Classification
20%
Open-Source Library
20%
Critical Behavior
20%
Security Question
20%
Optimization Problem
20%
Testing Effort
20%
Security Attribute
20%
Infotainment System
20%
Automotive System
20%
Cybersecurity
20%
System Asset
20%
Automaton
20%
Simplex
20%
Continuous Deployment
20%
Continuous Integration
20%
Pattern Matching
20%
IoT Application
20%
System Architecture
20%
Monitoring Tool
20%
Machine Learning
20%
Liveness Property
20%
System Development
20%
Learning System
20%
Simulink
15%
Avionics
15%
Development Process
15%
Software Quality Assurance
10%
Quality Assurance Technique
10%
Embedded Software
10%
Case Generation
10%
Integrated Circuit
10%
Mitigation Action
10%
Engineering
Artificial Intelligence
41%
Analog Design
20%
Surrogate Model
20%
Band Gap
20%
Analog Integrated Circuits
13%
Autonomous System
10%
Automotives
10%
Railway
10%
Cyber-Physical Systems
10%
Formal Method
10%
Gaussians
6%
Integrated Circuit Design
6%
Learning System
6%
Artificial Neural Network
6%
Millisecond
6%
Level Model
6%
