undefined

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking

Julkaisuvuosi

2018

Tekijät

Guellouz, Safa; Benzina, Adel; Khalgui, Mohamed; Frey, Georg; Li, Zhiwu; Vyatkin, Valeriy

Organisaatiot ja tekijät

Aalto-yliopisto

Vyatkin Valeriy Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Kustantaja

IEEE

Volyymi

16

Numero

3

Sivut

1110-1124

Julkaisu­foorumi

57519

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],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Tunnistettu aihe

[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1109/TASE.2018.2868897

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä