Computer Science
Automation
11%
Code Generation
7%
Computing Device
7%
Concurrency
7%
Control Flow
23%
Critical Software
11%
Criticality
7%
Cybercriminals
5%
Dependability Requirement
7%
Dynamic Network
5%
Embedded Device
15%
Embedded Platform
7%
Embedded Software
23%
Embedded System Design
7%
Embedded Systems
26%
Evaluation
7%
formal modeling
30%
Formal Verification
30%
Hardware
23%
Hardware Platform
7%
Harsh Environment
23%
Home Automation
7%
Individual Device
7%
Integration Process
11%
Internet of Things Device
7%
Liveness
26%
Maintainability
23%
Memory Protection
7%
Meta Information
11%
Modern Software
7%
Non-Functional Requirement
11%
Nonfunctional Property
11%
Open Research
7%
Operating System Kernel
7%
Operating Systems
23%
Participatory Design
15%
Portability
30%
Presented Framework
7%
Real-Time Operating System
23%
Reconfigurable Logic
9%
Reconfiguration
7%
Resource Constraint
7%
Secure Operation
7%
Service
7%
Smart Grid
7%
Software
100%
Software Portability
23%
Software Update
7%
Special Feature
7%
Sustainability
7%
System Architectures
7%
System Calls
23%
Time Requirement
7%
Vehicular Network
5%