Towards formal ASM semantics of timed control systems for industrial CPS
Julkaisuvuosi
2019
Tekijät
Drozdov, Dmitrii; Patil, Sandeep; Dubinin, Victor; 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
Konferenssi
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Kustantaja
Artikkelinumero
8869293
Sivut
1682-1685
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
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]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ETFA.2019.8869293
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä