Computer Science
Software
100%
Formal Verification
49%
Embedded Systems
43%
Liveness
43%
Hardware
37%
Embedded Software
37%
Operating Systems
37%
Computer Software
37%
Automotive System
37%
Loose Coupling
37%
Embedded Device
24%
Non-Functional Requirement
18%
Middleware Layer
18%
Application Layer
18%
Hardware Layer
18%
Time Requirement
12%
Concurrency
12%
System Architectures
12%
Individual Device
12%
Special Feature
12%
Evaluation
12%
Software Update
12%
Reconfiguration
12%
Participatory Design
12%
formal modeling
12%
Portability
12%
Maintainability
12%
Sustainability
12%
Criticality
12%
Modern Software
12%
Functionality
6%
Algorithms
6%
Defined Interface
6%
Operating System Layer
6%