A framework for runtime verification of industrial process control systems

Julkaisuvuosi

2017

Tekijät

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

Organisaatiot ja tekijät

Aalto-yliopisto

Sierla Seppo

Vyatkin Valeriy

Teknologian tutkimuskeskus VTT Oy

Savolainen Roope

Karhela Tommi

Miettinen Tuomas

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Artikkelinumero

8104856

Sivut

687-694

ISSN

1935-4576

ISBN

978-1-5386-0837-1

Julkaisufoorumi

72024

Julkaisufoorumitaso

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Rinnakkaistallennettu

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka

Avainsanat

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

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

DOI

10.1109/INDIN.2017.8104856

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen