A framework for runtime verification of industrial process control systems
- Roope Savolainen
- , Seppo Sierla
- , Tommi Karhela
- , Tuomas Miettinen
- , Valeriy Vyatkin
- Aalto University
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
6
Link opens in a new tab
Citations
(Scopus)