Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 2 hakutulosta
Julkaisut
2
Rahoitushaut
0
Myönnetty rahoitus
0
Tutkijat
0
Aineistot
0
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
2
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 2 / 2
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Runtime enforcement of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software
2017
Julkaisujen tiedon ikoni
Runtime enforcement of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems
2017
Runtime enforcement of reactive systems using synchronous enforcers
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
2017
Runtime enforcement of cyber-physical systems
Vertaisarvioitu
DOI
10.1145/3126500
2017
Edellinen
1
Seuraava
Näytetään tulokset 1 - 2 / 2
Sivu 1
Sort
