Industrial-process control systems. Instruments with analogue inputs and two- or multi-state outputs.

2015 ◽  
Keyword(s):  
Process Control ◽  
Control Systems ◽  
Industrial Process ◽  
Process Control Systems ◽  
Industrial Process Control

A framework for runtime verification of industrial process control systems

2017 ◽  
Author(s):  
Roope Savolainen ◽  
Seppo Sierla ◽  
Tommi Karhela ◽  
Tuomas Miettinen ◽  
Valeriy Vyatkin
Keyword(s):  
Process Control ◽  
Control Systems ◽  
Industrial Process ◽  
Runtime Verification ◽  
Process Control Systems ◽  
Industrial Process Control
Sign in / Sign up

Export Citation Format

Share Document