Runtime enforcement of reactive systems using synchronous enforcers
Julkaisuvuosi
2017
Tekijät
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Kustantaja
Sivut
80-89
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[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.1145/3092282.3092291
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä