A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

Publiceringsår

2019

Upphovspersoner

Sinha, Roopak; Patil, Sandeep; Gomes, Luis; Vyatkin, Valeriy

Organisationer och upphovspersoner

Aalto-universitetet

Vyatkin Valeriy

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En översiktsartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A2 Översiktsartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

IEEE Transactions on Industrial Informatics

Förläggare

IEEE

Volym

Nummer

Artikelnummer

8678839

Sidor

3772-3783

ISSN

1551-3203

Publikationsforum

57548

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]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/TII.2019.2908665