undefined

< Tillbaka till sökresultaten

Visual counterexample explanation for model checking with OERITTE

Publiceringsår

2020

Upphovspersoner

Ovsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy

Organisationer och upphovspersoner

Teknologiska forskningscentralen VTT Ab

Pakonen Antti Orcid -palvelun logo

Aalto-universitetet

Buzhinsky Igor

Ovsiannikova Polina Orcid -palvelun logo

Vyatkin Valeriy Orcid -palvelun logo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

Proceedings of 2020 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020

Moderpublikationens redaktörer

Li, Yi; Liew, Alan

Konferens

25th International Conference on Engineering of Complex Computer Systems, ICECCS <br/>2020

Förläggare

IEEE

Artikelnummer

9376184

Sidor

1-10

ISBN

978-1-7281-8558-3

Publikationsforum

5475

Publikationsforumsnivå

1

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Ja

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Ja

DOI

10.1109/ICECCS51672.2020.00008

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja