undefined

< Tillbaka till sökresultaten

Formal Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV Modelling

Publiceringsår

2015

Upphovspersoner

Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

Organisationer och upphovspersoner

Aalto-universitetet

Vyatkin Valeriy Orcid -palvelun logo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15) Helsinki, 2015

ISSN

2158-9178

ISBN

978-1-4673-8032-4

Publikationsforum

73689

Publikationsforumsnivå

1

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja