Computer Science
Model Checking
100%
Real Time Systems
90%
Timed Automaton
73%
model checker
58%
Internet of Things
30%
Interoperability
30%
Reachability Analysis
30%
Network Simulator
30%
Avionics
30%
Conformance Testing
27%
Statistical Model
27%
Wireless Sensor Node
25%
Case Study
22%
Input/Output
22%
model based testing
18%
Case Generation
18%
Industrial Case
18%
Automaton
17%
Schedulability Analysis
15%
Multicore
15%
Web Service
15%
Markov Decision Process
15%
Code Generation
15%
Distributed Algorithm
15%
C# (Programming Language)
15%
Sensor Networks
15%
Simulink
15%
Embedded Systems
15%
Hybrid Automaton
15%
Abstract Behavior
15%
System Behavior
15%
Parallelism
15%
Winning Strategy
15%
Error Detection
15%
Observation Sequence
15%
hard real-time
15%
Source Codes
15%
Security Vulnerability
15%
Sample Application
15%
Comparative Analysis
15%
Embedded System
15%
Black-Box Testing
15%
Cyber Physical Systems
14%
Communication Strategies
12%
Machine to Machines
10%
Time Consumption
9%
Memory Consumption
9%
Sequential Algorithm
9%
Compute Resource
9%
Use Case
9%
Keyphrases
UPPAAL
48%
Real-time Systems
30%
Online Testing
30%
Live Sequence Charts
26%
Node Lifetime
25%
Sigfox
25%
Tool Suite
22%
Testing Algorithm
20%
IoT Networks
20%
Scenario-based Requirements
18%
System Testing
15%
Game Theory Approach
15%
Online Model-based Testing
15%
Timed Tests
15%
Partial Observability
15%
Observation Sequence
15%
Stationary System
15%
Simulink
15%
Compositional Testing
15%
Construction Code
15%
Ns-3
15%
Model-based mutation Testing
15%
Model Validation
15%
Data Collection Strategies
15%
Inaccessible Area
15%
Electric Communication
15%
Swarm Verification
15%
Comparative Analysis
15%
MATLAB Simulink
15%
Industrial Model
15%
Statistical Model Checking
15%
UPPAAL-SMC
15%
Distributed Integrated Modular Avionics
11%
Integrated Modular Avionics
11%
Industrial Projects
10%
Wireless Sensor Node
10%
Automata Model
10%
Swarm Algorithms
10%
Drainage Line
9%
Black-box Testing
9%
Model Checking Tools
9%
Deterministic Timed Automata
9%
Non-deterministic
9%
State Representation
9%
Real-time Embedded Systems
9%
Input-output Conformance
9%
Fly Model
9%
Environment Assumptions
9%
Manipulation Techniques
9%
Representation Technique
9%
Engineering
Battery (Electrochemical Energy Engineering)
36%
Internet of Things
30%
Nodes
27%
Black Box
20%
Wireless Sensor Node
18%
Statistical Model
18%
Energy Engineering
17%
Sensor Network
15%
Intelligent Buildings
15%
Cooperative
15%
Discrete Signal
15%
Indeterminacy
15%
Continuous Signal
15%
Avionics Integrated Modular System
15%
Target System
10%
Performance Analysis
5%
Cyber-Physical Systems
5%
Datasheet
5%
Energy Capacity
5%
