undefined

< Takaisin hakutuloksiin

Formal Verification of IEC 61499 Enhanced with Timed Events

Julkaisuvuosi

2020

Tekijät

Shatrov, Viktor; Vyatkin, Valeriy

Organisaatiot ja tekijät

Aalto-yliopisto

Vyatkin Valeriy Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti

IFIP Advances in Information and Communication Technology

Emojulkaisun nimi

Proceedings of the 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, Technological Innovation for Life Improvement, DoCEIS 2020

Konferenssi

Advanced Doctoral Conference on Computing, Electrical and Industrial Systems

Kustantaja

SPRINGER

Volyymi

577

Sivut

168-178

ISSN

1868-422X

ISBN

978-3-030-45123-3

Julkaisu­foorumi

84293

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

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

Avainsanat

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

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-030-45124-0_16

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä