A framework for runtime verification of industrial process control systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roope Savolainen, Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin. A framework for runtime verification of industrial process control systems. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. pages 687-694, IEEE, 2017. [doi]

This author has not been identified. Look up 'Roope Savolainen' in GoogleThis author has not been identified. Look up 'Seppo Sierla' in GoogleThis author has not been identified. Look up 'Tommi Karhela' in GoogleThis author has not been identified. Look up 'Tuomas Miettinen' in GoogleThis author has not been identified. Look up 'Valeriy Vyatkin' in Google

runs on WebDSL