Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams
Julkaisuvuosi
2016
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
Proceedings of the 25th IEEE International Symposium on Industrial Electronics, ISIE 2016
Kustantaja
Sivut
316-321
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[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/ISIE.2016.7744910
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä