undefined

< Takaisin hakutuloksiin

Predictive runtime enforcement

Julkaisuvuosi

2017

Tekijät

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

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

FORMAL METHODS IN SYSTEM DESIGN

Kustantaja

SPRINGER

Volyymi

51

Numero

1

Sivut

154–199

ISSN

0925-9856

Julkaisu­foorumi

56299

Julkaisufoorumitaso

2

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],[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/s10703-017-0271-1

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä