A framework for runtime verification of industrial process control systems

Publiceringsår

2017

Upphovspersoner

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

Organisationer och upphovspersoner

Aalto-universitetet

Sierla Seppo

Vyatkin Valeriy

Teknologiska forskningscentralen VTT Ab

Savolainen Roope

Karhela Tommi

Miettinen Tuomas

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Artikelnummer

8104856

Sidor

687-694

ISSN

1935-4576

ISBN

978-1-5386-0837-1

Publikationsforum

72024

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/INDIN.2017.8104856