Runtime enforcement of regular timed properties by suppressing and delaying events
Julkaisuvuosi
2016
Tekijät
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Organisaatiot ja tekijät
Aalto-yliopisto
Pinisetty Srinivas
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Kustantaja
Volyymi
123
Sivut
2-41
ISSN
Julkaisufoorumi
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]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1016/j.scico.2016.02.008
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä