Verifying large modular systems using iterative abstraction refinement
Julkaisuvuosi
2015
Tekijät
Lahtinen, Jussi; Kuismin, Tuomas; Heljanko, Keijo
Organisaatiot ja tekijät
Teknologian tutkimuskeskus VTT Oy
Lahtinen Jussi
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Kustantaja
Volyymi
139
Sivut
120-130
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tilastotiede; Tietojenkäsittely ja informaatiotieteet; Fysiikka; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka; Kone- ja valmistustekniikka; Psykologia; Media- ja viestintätieteet; Sosiologia
Avainsanat
[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1016/j.ress.2015.03.012
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä