Computer Science
Automaton
100%
Transition System
62%
State Space
46%
Model Checking
44%
Models
43%
Testing
43%
Statistical Model
42%
Extended Version
40%
Transitions
33%
Simulation
33%
Detection
30%
Algorithms
26%
Process Algebra
24%
Parallel Composition
24%
Contexts
23%
Nondeterminism
21%
Case Study
20%
Partial Order
17%
Partial Order Reduction
17%
Probabilistic Choice
16%
Evaluation
15%
Case Study
14%
Input/Output
13%
Testing Process
13%
Usage Scenario
13%
And-States
12%
modeling language
11%
Subclasses
11%
Stochastic Process
10%
Linear Process
10%
Computational Thinking
10%
Branch-and-Bound Algorithm Design
10%
Trigonometric Function
10%
Analysis Method
10%
Markov Decision Process
10%
Optimization Criterion
10%
Coverage Test
10%
Passing System
10%
Mathematical Optimization
10%
Embedded Systems
10%
Related Measure
10%
Education
10%
model based testing
8%
Markov Chain
6%
Task Completion
6%
Critical Aspect
6%
Tool Chain
6%
Functions
6%
Nondeterminism
6%
Speed-up
5%
Social Sciences
Costs
20%
Mathematical Model
20%
Analysis
20%
Algorithms
13%
Mutation
10%
Mathematics
10%
Lesson Study
10%
Books
10%
Problem
10%
State
6%
Stochastics
6%
Case Studies
6%
Maintenance
6%
Energy Consumption
6%
Memory
6%
Dutch
6%
Reasoning
5%
Time
5%
