Probabilistic Model Checking for IEC 61499: A Manufacturing Application
Julkaisuvuosi
2024
Tekijät
Faqrizal, Irman; Liakh, Tatiana; Xavier, Midhun; Salaün, Gwen; Vyatkin, Valeriy
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
ICIT 2024 - 2024 25th International Conference on Industrial Technology
Kustantaja
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
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.1109/ICIT58233.2024.10540845
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä