undefined

< Takaisin hakutuloksiin

Automatic test set generation for function block based systems using model checking

Julkaisuvuosi

2014

Tekijät

Lahtinen, Jussi

Organisaatiot ja tekijät

Teknologian tutkimuskeskus VTT Oy

Lahtinen Jussi

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014)

Konferenssi

9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014

Kustantaja

IEEE Institute of Electrical and Electronic Engineers

Sivut

216-225

ISBN

978-1-4799-6132-0

Julkaisu­foorumi

5475

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka

Avainsanat

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

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1109/QUATIC.2014.15

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä