Change-based causes in counterexample explanation for model checking
Publiceringsår
2021
Upphovspersoner
Ovsiannikova, Polina; Pakonen, Antti; Vyatkin, Valeriy
Organisationer och upphovspersoner
Teknologiska forskningscentralen VTT Ab
Pakonen Antti 
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
IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society
Artikelnummer
9589122
Sidor
1-6
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
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1109/IECON48115.2021.9589122
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja