A framework for runtime verification of industrial process control systems

Roope Savolainen, Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    4 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A framework for runtime verification of industrial process control systems'. Together they form a unique fingerprint.

    Computer Science