Skip to main navigation
Skip to search
Skip to main content
Sort by
Keyphrases
Busbar
100%
Model-based Analysis
100%
Switching Unit
100%
Efficient Model
100%
System Design
50%
Programmable Logic Controller
50%
Control System
50%
State Space
50%
Digital Instrument
50%
Instrumentation System
50%
Digital Control
50%
Formal Methods
50%
Control Function
50%
Time-related
50%
Power Supply
50%
Model Checking Tools
50%
Safety Properties
50%
Input-output
50%
Power Fed
50%
NuSMV
50%
Manual Inspection
50%
State Machine Model
50%
Internal Storage
50%
State Space Explosion
50%
Dependent Components
50%
Finite State Machine
50%
Safety Control System
50%
Safety Instrumented System
50%
Fixed-length
50%
Standby Power
50%
INIS
design
100%
units
100%
tools
66%
safety
66%
length
66%
control systems
66%
values
33%
control
33%
operation
33%
power
33%
voltage
33%
space
33%
switches
33%
explosions
33%
inspection
33%
time dependence
33%
verification
33%
power supplies
33%
input-output
33%
Engineering
Model-Based Analysis
100%
Efficient Model
100%
Control Systems
100%
Research Project
50%
Control Function
50%
Formal Method
50%
Power Supply
50%
Distinct Value
50%
State Machine
50%
Finite-State Machine
50%
Computer Science
Model Checking
100%
Programmable Logic Controller
20%
Analyzed System
20%
State Space
20%
Input/Output
20%
Internal Memory
20%
State Machine Model
20%
Finite-State Machine
20%
Control Function
20%
Research Project
20%