Change-based causes in counterexample explanation for model checking
Julkaisuvuosi
2021
Tekijät
Ovsiannikova, Polina; Pakonen, Antti; Vyatkin, Valeriy
Organisaatiot ja tekijät
Teknologian tutkimuskeskus VTT Oy
Pakonen Antti 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Artikkelinumero
9589122
Sivut
1-6
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/IECON48115.2021.9589122
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä