undefined

< Takaisin hakutuloksiin

Visual counterexample explanation for model checking with OERITTE

Julkaisuvuosi

2020

Tekijät

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

Organisaatiot ja tekijät

Teknologian tutkimuskeskus VTT Oy

Pakonen Antti Orcid -palvelun logo

Aalto-yliopisto

Buzhinsky Igor

Ovsiannikova Polina Orcid -palvelun logo

Vyatkin Valeriy Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

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

Konferenssi

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

Kustantaja

IEEE

Artikkelinumero

9376184

Sivut

1-10

ISBN

978-1-7281-8558-3

Julkaisu­foorumi

5475

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka

Avainsanat

[object Object],[object Object],[object Object],[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

Kyllä

DOI

10.1109/ICECCS51672.2020.00008

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä