Counterexample-guided inference of controller logic from execution traces and temporal formulas
Julkaisuvuosi
2018
Tekijät
Chivilikhin, Daniil; Buzhinskv, Igor; Ulvantsev, Vladimir; Stankevich, Andrey; Shalyto, Anatoly; Vyatkin, Valeriy
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Emojulkaisun nimi
Konferenssi
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Kustantaja
Volyymi
2018-September
Artikkelinumero
8502463
Sivut
91-98
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],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ETFA.2018.8502463
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä