< Takaisin hakutuloksiin

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

Julkaisuvuosi

2015

Tekijät

Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

Organisaatiot ja tekijät

Aalto-yliopisto

Vyatkin Valeriy

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

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

ISBN

978-1-4673-8032-4

Julkaisufoorumi

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä