undefined

< Takaisin hakutuloksiin

Predictive runtime verification of timed properties

Julkaisuvuosi

2017

Tekijät

Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, Viorel

Organisaatiot ja tekijät

Aalto-yliopisto

Pinisetty Srinivas

Tripakis Stavros

Preoteasa Viorel

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Lehti

Journal of Systems and Software

Kustantaja

Elsevier Science Inc.

Volyymi

132

Sivut

353-365

ISSN

0164-1212

Julkaisu­foorumi

61771

Julkaisufoorumitaso

3

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

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.jss.2017.06.060

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä