A Comparison of Formal Verification Approaches for IEC 61499

Publiceringsår

2016

Upphovspersoner

Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois

Organisationer och upphovspersoner

Aalto-universitetet

Vyatkin Valeriy

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

Volym

2016-November

Artikelnummer

7733636

ISSN

1946-0740

ISBN

978-1-5090-1314-2

Publikationsforum

72022

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

Identifierade tema

[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/ETFA.2016.7733636