undefined

Fair testing and stubborn sets

Julkaisuvuosi

2016

Tekijät

Valmari, Antti;Vogler, Walter

Organisaatiot ja tekijät

Tampereen yliopisto

Valmari Antti

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

Model Checking Software

Volyymi

9641

Sivut

225-243

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-319-32582-8_16

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä