Computer Science
Case Study
100%
Formal Specification
83%
Simplex
66%
Liveness Property
66%
Temporal Logic
66%
Cyber Physical Systems
66%
Hybrid System
33%
Reachability Analysis
33%
Procedures
33%
Test Generation
33%
Critical Application
33%
Gaussian Process
16%
Integrated Circuit Design
16%
Artificial Neural Network
16%
Integrated Circuits
16%
Specification Language
16%
Machine Learning
16%
Computation
16%
Avionics
16%
Development Stage
16%
Simulink
16%
Autonomous Driving
16%
Engineering
Analog Design
66%
Design
66%
Automotives
22%
Applicability
22%
Reduction
22%
Fields
22%
High Quality Product
22%
Methods and Tool
22%
Prototype
22%
Earth and Planetary Sciences
Detection
66%
Tools
44%
Project
44%
Approach
22%
Prototype
22%
Sensitivity
22%
Specification
22%
Microprocessor
22%