Computer Science
Abstract Behavior
17%
Automaton
20%
Avionics
35%
C# (Programming Language)
17%
Case Generation
22%
Case Study
26%
Code Generation
17%
Communication Strategies
14%
Comparative Analysis
17%
Compute Resource
11%
Conformance Testing
32%
Cyber Physical Systems
17%
Distributed Algorithm
17%
Embedded Systems
17%
Energy Optimization
11%
Error Detection
17%
hard real-time
17%
Hybrid Automaton
17%
Industrial Case
22%
Input/Output
8%
Internet of Things
36%
Interoperability
35%
Machine to Machines
11%
Markov Decision Process
17%
Memory Consumption
11%
model based testing
22%
model checker
69%
Model Checking
100%
Multicore
17%
Network Simulator
35%
Observation Sequence
17%
Parallelism
17%
Performance Analysis
11%
Reachability Analysis
35%
Real Time Systems
88%
Sample Application
17%
Schedulability Analysis
17%
Security Vulnerability
17%
Sensor Networks
17%
Sequential Algorithm
11%
Simulink
17%
Source Codes
17%
Statistical Model
32%
System Behavior
17%
Time Consumption
11%
Timed Automaton
69%
Use Case
11%
Web Service
17%
Winning Strategy
17%
Wireless Sensor Node
29%
Keyphrases
Automata Model
11%
Black Box
8%
Building Metadata
9%
Comparative Analysis
17%
Compositional Testing
17%
Construction Code
17%
Continuous Signals
8%
Data Collection Strategies
17%
Distributed Integrated Modular Avionics
13%
Drainage Line
11%
Efficient Set
8%
Efficient Testing
8%
Electric Communication
17%
Game Automata
8%
Game Theory Approach
17%
Inaccessible Area
17%
Industrial Model
17%
Industrial Projects
11%
Integrated Modular Avionics
13%
IoT Networks
23%
Limited Observations
8%
Live Sequence Charts
30%
Low Observability
8%
MATLAB Simulink
17%
Model Checker
10%
Model Validation
17%
Model-based mutation Testing
17%
Node Lifetime
29%
Ns-3
17%
Observation Sequence
17%
Online Model-based Testing
17%
Online Testing
17%
Partial Observability
17%
Quality of Testing
8%
Real-time Systems
17%
Scenario-based Requirements
21%
Sigfox
29%
Simulink
17%
Stationary System
17%
Statistical Model Checking
17%
Swarm Algorithms
11%
Swarm Verification
17%
System Testing
17%
Testing Algorithm
11%
Timed Model Checking
11%
Timed Tests
17%
Tool Suite
26%
UPPAAL
39%
UPPAAL-SMC
17%
Wireless Sensor Node
11%
Engineering
Avionics Integrated Modular System
17%
Battery (Electrochemical Energy Engineering)
42%
Battery Capacity
5%
Black Box
23%
Communication Infrastructure
5%
Conformance
5%
Continuous Signal
17%
Cooperative
17%
Cyber-Physical Systems
6%
Datasheet
6%
Discrete Signal
17%
Energy Capacity
6%
Energy Engineering
20%
Experimental Result
5%
Hydraulics
5%
Indeterminacy
17%
Intelligent Buildings
17%
Internal Action
5%
Internet of Things
35%
Nodes
31%
Performance Analysis
6%
Sensor Network
17%
Sensor Node
5%
Software Systems
5%
Soundness
5%
Statistical Model
21%
Target System
11%
Test Method
5%
Wireless Communication
5%
Wireless Sensor Node
21%