Computer Science
Model Checking
100%
Timed Automaton
64%
Home Automation
62%
Real Time Systems
58%
User
44%
Middleware
36%
Input/Output
36%
Feature Interaction
29%
Graphical User Interface
29%
Automaton
29%
Standards
27%
Schedulability Analysis
26%
Internet of Things
26%
Modeling
25%
Deadlines
24%
Conformance Testing
22%
Scheduling Policy
14%
Cyber Physical Systems
14%
Interoperability
14%
Tool Chain
14%
Design Patterns
14%
Broadcast Communication
14%
Prevents
14%
Action Language
14%
Depth Case Study
14%
Execution Time
14%
Use Case
11%
Multicore
9%
Usability
9%
Sensors and Actuator
7%
Integrated Model
7%
Software Engineering
7%
Intelligent Environment
7%
Oriented Service
7%
Timing Behavior
7%
Usage Scenario
7%
Process Protocol
7%
Support Location
7%
Expected Result
7%
Preemptive-Task
7%
Reactive System
7%
Arrival Pattern
7%
Design Exploration
7%
Ambient Intelligence
7%
Computation
7%
Control Algorithm
7%
Quality of Service
7%
model based testing
7%
Hierarchical Structures
7%
Liveness Property
7%
Engineering
Energy Engineering
88%
Models
67%
Energy Flexibility
29%
Optimization
25%
Demonstrates
25%
Prototype
22%
Automation
20%
Residential Building
19%
Illustrates
18%
Stochastic Model
15%
Gateway
14%
Floors
14%
Thermal Characteristic
14%
Office Buildings
14%
Supervisory Control
14%
Energy-Efficient Building
14%
Energy Production
14%
Novo Nordisk
14%
Case Depth
14%
Estimation
11%
Control Strategy
11%
Model Building
9%
Temperature Zone
8%
Energy Systems
8%
Residential Sector
8%
Simulation Result
8%
Reactive System
8%
Combines
8%
Renewables
8%
Electrical Grid
7%
Minimization
7%
Ventilation System
7%
District Level
7%
Cooling Demand
7%
Cooling Coil
7%
Generated Electricity
7%
Manufacturing Standard
7%
Home Device
7%
Middleware System
7%
Renewable Conversion
7%
Low Environmental Impact
7%
Obtains
7%
Energy Usage
7%
Prosumer
7%
Large Amount
7%
Infrastructure
7%
Arrowhead Project
7%
Energy Building
7%
Supports
7%
Home Appliance
7%