undefined

< Takaisin hakutuloksiin

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Julkaisuvuosi

2015

Tekijät

Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé

Organisaatiot ja tekijät

Aalto-yliopisto

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun nimi

Runtime Verification, Vienna, September 2015

Kustantaja

SPRINGER

Sivut

306-320

ISBN

978-3-319-23819-7

Julkaisu­foorumi

5952

Julkaisufoorumitaso

2

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Avainsanat

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

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä