Probabilistic Model Checking for IEC 61499: A Manufacturing Application
Publiceringsår
2024
Upphovspersoner
Faqrizal, Irman; Liakh, Tatiana; Xavier, Midhun; Salaün, Gwen; Vyatkin, Valeriy
Organisationer och upphovspersoner
Aalto-universitetet
Vyatkin Valeriy 
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
ICIT 2024 - 2024 25th International Conference on Industrial Technology
Förläggare
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
El-, automations- och telekommunikationsteknik, elektronik
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1109/ICIT58233.2024.10540845
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja