Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Saavutettavuusseloste
English
Suomi
Etusivu
Profiilit
Tutkimustuotos
Tietoaineistot
Projektit
Palkinnot
Aktiviteetit
Lehtileikkeet
Laitteet
Tutkimusyksiköt
Vaikutukset
Haku asiantuntemuksen, nimen tai kytköksen perusteella
Distinguished Artifact Award at TACAS 2018
Tripakis, Stavros
(Recipient)
Helsinki Institute for Information Technology HIIT
Tietotekniikan laitos
Palkinto
:
Palkinto tai huomionosoitus tuotoksesta
Description
Distinguished Artifact Award at TACAS 2018 for paper "The Refinement Calculus of Reactive Systems Toolset".
Myöntöpäivä
2018
Asiakirjat ja linkit
tacas_award
Tiedosto
:
image/png, 389 KB
Tyyppi
:
Teksti