A Comparison of Formal Verification Approaches for IEC 61499
Julkaisuvuosi
2016
Tekijät
Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois
Organisaatiot ja tekijät
Aalto-yliopisto
Vyatkin Valeriy 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016
Konferenssi
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Kustantaja
Volyymi
2016-November
Artikkelinumero
7733636
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka
Tunnistettu aihe
[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ETFA.2016.7733636
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä